diff --git a/racket/collects/syntax/parse/experimental/provide.rkt b/racket/collects/syntax/parse/experimental/provide.rkt
index 848a2fec7c..25829ec138 100644
--- a/racket/collects/syntax/parse/experimental/provide.rkt
+++ b/racket/collects/syntax/parse/experimental/provide.rkt
@@ -150,7 +150,7 @@
     (if (flat-contract? ctc)
         (flat-named-contract name (flat-contract-predicate ctc))
         (let* ([ctc-fo (contract-first-order ctc)]
-               [proj (contract-projection ctc)])
+               [late-neg-proj (contract-late-neg-projection ctc)])
           (make-contract #:name name
-                           #:projection proj
+                         #:late-neg-projection late-neg-proj
                            #:first-order ctc-fo)))))
diff --git a/racket/collects/syntax/parse/experimental/reflect.rkt b/racket/collects/syntax/parse/experimental/reflect.rkt
index e0c6f76b53..6d16e87522 100644
--- a/racket/collects/syntax/parse/experimental/reflect.rkt
+++ b/racket/collects/syntax/parse/experimental/reflect.rkt
@@ -125,20 +125,20 @@
                               (#:<kw> any/c ...)
                               #:rest list?
                               (or/c reified-syntax-class? reified-splicing-syntax-class/c))
-                 #:projection
+                 #:late-neg-projection
                  (lambda (blame)
                    (let ([check-reified
-                          ((contract-projection
+                          ((contract-late-neg-projection
                             (or/c reified-syntax-class? reified-splicing-syntax-class?))
                            (blame-swap blame))])
-                     (lambda (f)
+                     (lambda (f neg-party)
                        (if (and (procedure? f)
                                 (procedure-arity-includes? f 1))
                            (make-keyword-procedure
                             (lambda (kws kwargs r . args)
-                              (keyword-apply f kws kwargs (check-reified r) args)))
+                              (keyword-apply f kws kwargs (check-reified r neg-party) args)))
                            (raise-blame-error
-                            blame
+                            blame #:missing-party neg-party
                             f
                             "expected a procedure of at least one argument, given ~e"
                             f)))))