Cosmetic change to index.html just for the fun of it