diff --git a/pkgs/racket-test/tests/racket/contract/box.rkt b/pkgs/racket-test/tests/racket/contract/box.rkt
index 4538f25f34..da6eac37b8 100644
--- a/pkgs/racket-test/tests/racket/contract/box.rkt
+++ b/pkgs/racket-test/tests/racket/contract/box.rkt
@@ -55,6 +55,9 @@
    'box/c7
    '(set-box! (contract (box/c boolean? any/c) (box 12) 'pos 'neg) 11))
   
+  (test/pos-blame
+   'box/c8
+   '(contract ((values box/c) any/c) #f 'pos 'neg))
   
   (test/neg-blame
    'box/c-with-cons/c-inside
diff --git a/racket/collects/racket/contract/private/box.rkt b/racket/collects/racket/contract/private/box.rkt
index d656ed43aa..4c9fdfbc9d 100644
--- a/racket/collects/racket/contract/private/box.rkt
+++ b/racket/collects/racket/contract/private/box.rkt
@@ -184,7 +184,7 @@
     [x
      (identifier? #'x)
      (syntax-property
-      (syntax/loc stx box/c)
+      (syntax/loc stx box/c/proc)
       'racket/contract:contract
       (vector (gensym 'ctc) (list #'x) null))]
     [(b/c arg ...)