diff --git a/texk/web2c/cwebdir/ctwill-mini.ch b/texk/web2c/cwebdir/ctwill-mini.ch
index a35ccd6f9a..015782310e 100644
--- a/texk/web2c/cwebdir/ctwill-mini.ch
+++ b/texk/web2c/cwebdir/ctwill-mini.ch
@@ -1592,13 +1592,15 @@ Section 224.
 Section 227.
 
 @x
-@ @c
-static void
+@ To insert token-list |p| into the output, the |push_level| subroutine
+@y
+@r @ To insert token-list |p| into the output, the |push_level| subroutine
+@z
+
+@x
 push_level( /* suspends the current level */
 text_pointer p)
 @y
-@r @ @c
-static void
 push_level( /* suspends the current level */
 text_pointer p)
 @-push_level@>
diff --git a/texk/web2c/cwebdir/cweave.w b/texk/web2c/cwebdir/cweave.w
index 59aa484cce..9affe22501 100644
--- a/texk/web2c/cwebdir/cweave.w
+++ b/texk/web2c/cwebdir/cweave.w
@@ -3790,15 +3790,15 @@ static stack_pointer max_stack_ptr; /* largest value assumed by |stack_ptr| */
 @ @<Set init...@>=
 max_stack_ptr=stack;
 
+@ @<Predecl...@>=
+static void push_level(text_pointer);@/
+static void pop_level(void);
+
 @ To insert token-list |p| into the output, the |push_level| subroutine
 is called; it saves the old level of output and gets a new one going.
 The value of |cur_mode| is not changed.
 
-@<Predecl...@>=
-static void push_level(text_pointer);@/
-static void pop_level(void);
-
-@ @c
+@c
 static void
 push_level( /* suspends the current level */
 text_pointer p)