Minor change to index.html.