fix formatting in a few spots