Minor fix in html