diff --git a/src/common/kernel/save.c b/src/common/kernel/save.c
index 6bca70e40..06b5f5571 100644
--- a/src/common/kernel/save.c
+++ b/src/common/kernel/save.c
@@ -368,8 +368,9 @@ getbuf(FILE * F)
     else {
       /* wenn die zeile länger als erlaubt war, ist sie ungültig,
        * und wird mit dem rest weggeworfen: */
-      while (bp!=NULL) {
+      for (;;) {
         bp = (unsigned char *)fgets(lbuf, MAXLINE, F);
+        if (bp==NULL) break;
         end = bp + strlen((const char *)bp);
         if (*(end-1)=='\n') break;
         lbuf[MAXLINE-1] = 0;