--- keyboard.c	2004-05-31 15:17:09.000000000 +0100
+++ /home/build/keyboard.c	2004-05-31 17:20:22.000000000 +0100
@@ -410,6 +410,7 @@
 	}
 	rep = 0;
 out:
+	return;
 }
 
 /*