Fix a small issue on 32-bit machines.