Fixes to index.html