index.html modification

Meaningless index.html modification