Fix EBNF production numbering.