typo bnf