diff --git a/collects/tests/web-server/pr/12638.rkt b/collects/tests/web-server/pr/12638.rkt
new file mode 100644
index 0000000000..fd3a03613d
--- /dev/null
+++ b/collects/tests/web-server/pr/12638.rkt
@@ -0,0 +1,3 @@
+#lang web-server
+(require racket/runtime-path)
+(define-runtime-path here ".")
diff --git a/collects/web-server/lang/util.rkt b/collects/web-server/lang/util.rkt
index e184e14feb..471e2a618e 100644
--- a/collects/web-server/lang/util.rkt
+++ b/collects/web-server/lang/util.rkt
@@ -48,7 +48,7 @@
      (list* #'rv (syntax->list #'(v ...)))]))
 
 (define ((make-define-case inner) stx)
-  (syntax-case stx (define-values define-syntaxes define-values-for-syntax #%require)
+  (syntax-case stx (define-values define-syntaxes define-values-for-syntax #%require begin-for-syntax)
     [(define-values (v ...) ve)
      (let-values ([(nve) (inner #'ve)])
        (quasisyntax/loc stx
@@ -57,6 +57,8 @@
      stx]      
     [(define-values-for-syntax (v ...) ve)
      stx]
+    [(begin-for-syntax e ...)
+     stx]
     [(#%require spec ...)
      stx]
     [expr