Fix bugs in index.html