Minor fix to index.html