minor update on index.html