fixed ebnf to add monitorname