Some not-so-nice autoformatting used on the code