Minor fix on html