Add to TreeNode.toString()