Fix 64-bit warning