typo in bnf