fix ebnf