--- u-boot/board/cradle/flash.c	2003-09-18 11:21:33.000000000 +0200
+++ lcd-u-boot/board/cradle/flash.c	2004-08-21 10:26:02.000000000 +0200
@@ -133,7 +133,7 @@
       info++;
    }
 
-Done:
+Done:;
 }
 
 /*-----------------------------------------------------------------------