--- Library/src/HTMIMImp.c.orig	Sat Apr  5 09:26:21 1997
+++ Library/src/HTMIMImp.c	Tue May  6 01:15:02 1997
@@ -213,7 +213,7 @@
     int value = deflt;
     if (start != NULL) {
 	start += strlen(needle);
-	while isspace(*start) start++;
+	while (isspace(*start)) start++;
 	if (isdigit(*start)) {
 	    char * end = start + 1;
 	    char save;