Whitespace fixes: getting rid of tabs, 80-wide, etc.