Update bnf.md