more lex.html changes