minor change to index.html

[ci skip]