fix bad formatting in header