Let tag_names use already sorted tags.