Index: /tools/wleiden.pl
===================================================================
--- /tools/wleiden.pl	(revision 4109)
+++ /tools/wleiden.pl	(revision 4115)
@@ -128,4 +128,5 @@
     $output .= "$forward;\n";
   };
+  $output .= 
   "  };\n" .
   "};\n" .