cosmetic fixes in index.html