Fix a warning in 64-bit code.