More fixes to coords_pprint