Fix `hash' for pointer objects.