Fix a 32-bit build error