--- a/stage4/generate_c/generate_c.cc	Thu Sep 13 16:35:10 2012 +0200
+++ b/stage4/generate_c/generate_c.cc	Fri Oct 19 12:10:32 2012 +0200
@@ -962,8 +962,7 @@
        * To work around this we introduce the useless goto.
        */
       s4o.print("\n");
-      s4o.print(s4o.indent_spaces);
-      s4o.print("/* to humour the compiler, we insert a goto */\n");
+      /* to humour the compiler, we insert a goto */
       s4o.print(s4o.indent_spaces);
       s4o.print("goto ");
       s4o.print(END_LABEL);