Corrected lexer'