diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss
index be2e4b6b..f6228e21 100644
--- a/collects/scribble/manual.ss
+++ b/collects/scribble/manual.ss
@@ -1424,10 +1424,12 @@
                         (let ([just-name
                                (make-target-element*
                                 make-toc-target-element
-                                stx-id
+                                (if (pair? name)
+                                    (car (syntax-e stx-id))
+                                    stx-id)
                                 (annote-exporting-library
                                  (to-element (if (pair? name)
-                                                 (make-just-context (car name) stx-id)
+                                                 (make-just-context (car name) (car (syntax-e stx-id)))
                                                  stx-id)))
                                 (let ([name (if (pair? name)
                                                 (car name)
@@ -1445,13 +1447,14 @@
                                            (map (lambda (f)
                                                   (if (or (not immutable?)
                                                           (and (pair? (car f))
-                                                                (memq '#:mutable (car f))))
+                                                               (memq '#:mutable (car f))))
                                                       (list 'mutator 'set- name '- (field-name f) '!)
                                                       #f))
                                                 fields))))))])
                           (if (pair? name)
                               (to-element (list just-name
-                                                (make-just-context (cadr name) stx-id)))
+                                                (make-just-context (cadr name) 
+                                                                   (cadr (syntax-e stx-id)))))
                               just-name))]
                        [short-width (apply +
                                            (length fields)
diff --git a/collects/scribblings/scribble/manual.scrbl b/collects/scribblings/scribble/manual.scrbl
index 5c2c541a..6e977cf7 100644
--- a/collects/scribblings/scribble/manual.scrbl
+++ b/collects/scribblings/scribble/manual.scrbl
@@ -583,9 +583,9 @@ of by-name arguments (for use with @scheme[new]).}
 Like @scheme[defconstructor/make], but with multiple constructor
 patterns analogous @scheme[defproc*].}
 
-@defform[(defconstructor/super-init [(arg-spec ...) ...] pre-flow ...)]{
+@defform[(defconstructor/auto-super [(arg-spec ...) ...] pre-flow ...)]{
 
-Like @scheme[defconstructor/super-init], but the constructor is
+Like @scheme[defconstructor], but the constructor is
 annotated to indicate that additional initialization arguments are
 accepted and propagated to the sueprclass.}