fixed a lexical bug