Trivial changes to index.html