DC EBNF: Fix a couple small errors