Bug fixes in index.html