add better .dot printing