Fixes to index.html (again?)