Small corrections in html.