Fix warning on 32 bit