Corrected some settings in the allman formatting style.