--- a/stage4/generate_iec/generate_iec.cc	Wed Feb 14 19:57:01 2007 +0100
+++ b/stage4/generate_iec/generate_iec.cc	Tue Feb 20 18:17:21 2007 +0100
@@ -1163,7 +1163,7 @@
 
 /* '(' step_name ',' step_name {',' step_name} ')' */
 void *visit(step_name_list_c *symbol) {
-  print_list(symbol, "(", ", ", ") ");
+  print_list(symbol, "(", ", ", ")");
   return NULL;
 }