slight tweak to index.html