fix BNF