Fixed a few minor bugs in index.html