fix some formatting in index.html