fix a warning on 32 bits