Fixed the formatting of some files.