diff --git a/doc/scsh-manual/intro.tex b/doc/scsh-manual/intro.tex
index 5336b87..bc514db 100644
--- a/doc/scsh-manual/intro.tex
+++ b/doc/scsh-manual/intro.tex
@@ -403,12 +403,9 @@ several from which to choose.
 Besides the \ex{define-record} macro, which Shivers prefers\footnote{He wrote
 it.}, you might instead wish to employ the notationally-distinct
 \ex{define-record-type} macro that Jonathan Rees 
-prefers,\footnote{He wrote it.}
-or the identically named but wholly different \ex{define-record-type}
-macro that Richard Kelsey prefers.\footnote{He wrote it.}
-The former can be found in file \ex{rts/jar-defrecord.scm} and package
-\ex{define-record-types}; the latter can be found in file 
-\ex{big/defrecord.scm} and package \ex{defrecord}.
+prefers\footnote{He wrote it.}.
+It can be found in the 
+\ex{define-record-types} structure.
 
 Alternatively, you may define your own, of course.