Minor fix in index.html