lex.html changes