Minor modifications to html.