Fix a pointer-to-integer warning.