Fix a couple of bugs in the index.html