diff-tree: prettify output slightly