Fix accidental change in index.html.