Clarify a comment in the grammar.