Another 64-bit bug