diff --git a/collects/scribblings/scribble/srcdoc.scrbl b/collects/scribblings/scribble/srcdoc.scrbl
index 28d8c006..20c37d07 100644
--- a/collects/scribblings/scribble/srcdoc.scrbl
+++ b/collects/scribblings/scribble/srcdoc.scrbl
@@ -104,9 +104,15 @@ that is available in the run-time phase of of the enclosing library
 can be referenced in documentation prose using the @racket[racket]
 form.}
 
-@defform/subs[#:literals (-> ->d values)
+@defform/subs[#:literals (-> ->i ->d values)
               (proc-doc id contract desc-expr)
               ([contract (-> result)
+                         (->i (arg ...) () (values ress ...))
+                         (->i (arg ...) () #:pre (pre-id ...) condition (values ress ...))
+                         (->i (arg ...) () res)
+                         (->i (arg ...) () #:pre (pre-id ...) condition [name res])
+                         (->i (arg ...) () #:rest rest res)
+                         
                          (->d (arg ...) () (values [id result] ...))
                          (->d (arg ...) () #:pre-cond expr (values [id result] ...))
                          (->d (arg ...) () [id result])
@@ -114,7 +120,7 @@ form.}
                          (->d (arg ...) () #:rest id rest [id result])])]{
 
 Like @racket[proc-doc], but supporting contract forms that embed
-argument names. Only a subset of @racket[->d] forms are currently
+argument names. Only a subset of @racket[->i] and @racket[->d] forms are currently
 supported.}
                           
 @defform[(thing-doc id contract-expr dec-expr)]{