Fix one little bug in the lexer