You'll also notice that in his example of the Allman style, each code block starts with a comment. In my experience as an Allman formatter, I feel pretty much compelled to comment even the simplest code blocks, just so that it doesn't look stupid, thus increasing the number of lines of code even further.