Another fix to formatting in index.html