fixed three typos in html.cxx