I do not use an auto formatting tool atm. I think minor differences in white-space usage are probably all over the place. I also find it more readable with the additional white-space. I understand the importance of conventions, but in the case of minor white-space differences I wonder if fixing these globally would give use any real benefit. WDYT?