Fix a bug in pointer_type's at_single