Revised tools/graphviz.py.