Code reformated, but otherwise unchanged (if the formatter didn't mess up)