Minor bug in Lexer