Correct bug in index.html.