diff --git a/racket/collects/racket/contract/private/guts.rkt b/racket/collects/racket/contract/private/guts.rkt
index e963333275..87706ac17d 100644
--- a/racket/collects/racket/contract/private/guts.rkt
+++ b/racket/collects/racket/contract/private/guts.rkt
@@ -429,7 +429,7 @@
                                       (syntax->list #'(margs (... ...))))]
                                 [app (datum->syntax stx '#%app)])
                     (syntax-property
-                     #'(app ctc/proc margs (... ...))
+                     (syntax/loc stx (app ctc/proc margs (... ...)))
                      'racket/contract:contract
                      (vector this-one
                              (list (car (syntax-e stx)))