tiny leak fixes in html.cxx