Fix node labels in the Graphviz output