Trivial edit of index.html