diff --git a/collects/scribble/private/manual-form.rkt b/collects/scribble/private/manual-form.rkt
index 3628ca8651..e08f114846 100644
--- a/collects/scribble/private/manual-form.rkt
+++ b/collects/scribble/private/manual-form.rkt
@@ -139,7 +139,7 @@
         (*defforms k.kind #f
                    '(spec) (list (lambda (ignored) (racketblock0/form spec)))
                    null null
-                   (list (list (lambda () (racket c.contract-id))
+                   (list (list (lambda () (racket c.contract-nonterm))
                                (lambda () (racketblock0 c.contract-expr)))
                          ...)
                    (lambda () (list desc ...)))))]))