Fix a few small issues on index.html