tiny little update to the top-level index.html