Fix some bugs in index.html