Trivial update to index.html