Some changes to lexicon HTML and to global variable names