Issue #5: fix an introduced problem in TDNode>>printOn: