fix some pointer confusion that somehow worked on Mac OS X