minor update in index.html