Fix the formatting in this entire file.