Small fix to lex.java