Fixed minor bugs in index.html