Minor edit to html