Fixes formatting of index.html.