Changed the BNF