--- a/web/views/workflow.py	Fri Sep 18 08:16:01 2009 +0200
+++ b/web/views/workflow.py	Fri Sep 18 08:33:16 2009 +0200
@@ -187,7 +187,7 @@
 
     def node_properties(self, stateortransition):
         """return default DOT drawing options for a state or transition"""
-        props = {'label': stateortransition.name,
+        props = {'label': stateortransition.printable_value('name'),
                  'fontname': 'Courier'}
         if hasattr(stateortransition, 'state_of'):
             props['shape'] = 'box'