diff --git a/collects/racket/contract/private/guts.rkt b/collects/racket/contract/private/guts.rkt
index 519bb0bc86..0f1c03298c 100644
--- a/collects/racket/contract/private/guts.rkt
+++ b/collects/racket/contract/private/guts.rkt
@@ -427,7 +427,7 @@
                  [x
                   (identifier? #'x)
                   (syntax-property 
-                   #'x
+                   #'ctc/proc
                    'racket/contract:contract 
                    (vector (gensym 'ctc) 
                            (list stx)