Minor cleanup to index.html.