Fix a 32-bit compile error in the previous checkin