bug fixes to index.html