Fixing wrong formatting in the source files.