fix for 32-bit systems.