Minor fix in html description