minor cleanup to index.html