Update README.md

Edit BNF to reflect changes