fixed minor bugs in index.html