BUGFIX: LabeledStateDiGraph.save() returns value of graph2dot.save_dot()