updated lhs2html