Minor fix to html