Minor fix to index.html.