very minor BNF change