Fixed some bugs in index.html.