Whitespace cleanup (mostly stray tabs, a few not-quite-empty lines).