added BNF version