Clarified the definition of implicit tag names.