updated lexer specification