Update lexer.lex