Updated EBNF example.