Fix vertical formatting of EBNF