Minor edit to html.