Little EBNF fix in help
Add a FIXME