diff --git a/pkgs/racket-test-core/tests/racket/syntax.rktl b/pkgs/racket-test-core/tests/racket/syntax.rktl
index 5f830136c4..8224594279 100644
--- a/pkgs/racket-test-core/tests/racket/syntax.rktl
+++ b/pkgs/racket-test-core/tests/racket/syntax.rktl
@@ -1858,7 +1858,7 @@
    free-identifier=?
    f-id
    (eval '(extract (f #:x 8)
-                   (lv _ (if const? (app f3 . _) . _))
+                   (lv ([(proc) f2] . _) (if const? (app f3 . _) . _))
                    f3
                    #f)))
   (test
@@ -1866,17 +1866,17 @@
    free-identifier=?
    f-id
    (eval '(extract (f #:x 8)
-           (lv _ (if const? (app f3 . _) (app2 (app3 check&extract _ f2 . _) . _)))
-           f2
-           #t)))
+                   (lv ([(proc) f2] . _) (if const? (app f3 . _) . _))
+                   f2
+                   #t)))
   (test
    #t
    free-identifier=?
    f-id
    (eval '(extract (f #:y 9)
-           (lv _ (app2 (app3 check&extract _ f2 . _) . _))
-           f2
-           #t)))
+                   (lv ([(proc) f2] . _) . _)
+                   f2
+                   #t)))
   (test
    #t
    free-identifier=?