minor edit in index.html