Updated EBNF notation to be of a more correct form.