Another fix to index.html