better printing of treelists in pretty print.