Clarified EBNF comment a bit following Jim Jewett's feedback