slight simplification in index.html