Whitespace edits for readability in "normal" terminals ;-)