fix up formatting in index.html