Minor fix to html formatting