More fixes to index.html