Fix the formatting in this file.