diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss
index 7115ebbd..b7f6caf7 100644
--- a/collects/scribble/manual.ss
+++ b/collects/scribble/manual.ss
@@ -858,7 +858,14 @@
              prototypes
              arg-contractss
              result-contracts
-             (cons #t (map (lambda (x) #f) (cdr prototypes))))))
+             (let loop ([ps prototypes][accum null])
+               (cond
+                [(null? ps) null]
+                [(ormap (lambda (a) (eq? (caar ps) a)) accum)
+                 (cons #f (loop (cdr ps) accum))]
+                [else
+                 (cons #t (loop (cdr ps)
+                                (cons (caar ps) accum)))])))))
           (content-thunk))))))
 
   (define (make-target-element* inner-make-target-element stx-id content wrappers)
diff --git a/collects/scribblings/scribble/manual.scrbl b/collects/scribblings/scribble/manual.scrbl
index 2aa7510b..6c32b0c6 100644
--- a/collects/scribblings/scribble/manual.scrbl
+++ b/collects/scribblings/scribble/manual.scrbl
@@ -225,7 +225,13 @@ source layout.}
                    pre-flow ...)]{
 
 Like @scheme[defproc], but for multiple cases with the same
-@scheme[id].  }
+@scheme[id]. 
+
+When an @scheme[id] has multiple calling cases, they must be defined
+with a single @scheme[defproc*], so that a single definition point
+exists for the @scheme[id]. However, multiple distinct @scheme[id]s
+can also be defined by a single @scheme[defproc*], for the case that
+it's best to document a related group of procedures at once.}
 
 
 @defform/subs[(defform maybe-literals (id . datum) pre-flow ...)