Minor additions to html.