Fix another case of thinking pointers are integers.