Shuffle a couple of formatters around. This should fix the bug that never dies, aka rdar://15154623