hack in graphviz output