minor update of index.html