diff --git a/source/texk/web2c/ptexdir/ptex-base.ch b/source/texk/web2c/ptexdir/ptex-base.ch
index 365e24d1c..12717223c 100644
--- a/source/texk/web2c/ptexdir/ptex-base.ch
+++ b/source/texk/web2c/ptexdir/ptex-base.ch
@@ -7316,7 +7316,7 @@ if inhibit_glue_flag<>true then
   end;
   end;
 end;
-skip_loop: do_nothing;
+skip_loop: inhibit_glue_flag:=false;
 
 @ @<Basic printing...@>=
 procedure print_kanji(@!s:KANJI_code); {prints a single character}