Minor further print_tree() simplification.