diff --git a/src/lib/subs/pr.c b/src/lib/subs/pr.c
index 5cf6833d..bde5918c 100644
--- a/src/lib/subs/pr.c
+++ b/src/lib/subs/pr.c
@@ -563,7 +563,8 @@ copy_utf8_to_ascii_no_funny(char *dst, char *src)
 	    ;			/* ignore funny control */
 	else if (ch > 0x7f) {
 	    *p++ = '?';		/* replace non-ASCII */
-	    while ((*src++ & 0xc0) == 0x80) ;
+	    while ((*src & 0xc0) == 0x80)
+		src++;
 	} else
 	    *p++ = ch;
     }