one minor mod to index.html