Fixed an ill-defined (only in comments) EBNF definition.