Fix a 64-bit compile error.