Fix 64-bit bug