Can't stop, won't stop, they said, huh?
Also fixes a slightly misleading comment in `Node.print_tree_pretty`.