still more fixes in index.html