Fix warning on 32 bit systems