Slight formatting change for pubnames/pubtypes output.