A couple of improvements to tree-condensing