(DfVisitor) improve toString() method