Minor fix to the example html