Another pointers-are-not-integers error.