Formatting: allman brackets