Correct name of a tag in a documentation comment