--- ./src/game.c.00	2002-03-04 12:32:27.000000000 +0100
+++ ./src/game.c	2007-06-30 20:33:54.000000000 +0200
@@ -780,7 +780,7 @@
 		    goto a;
 		  k--;
 		}
-	    a:
+	    a:;
 	    }
 	}
     }