Fix EBNF link