Fix naming of tag_tagged.

I haven't tested this; I just found it by inspection.