BNF update