--- a/Doc/lib/libstdtypes.tex	Wed Oct 28 18:19:16 1998 +0000
+++ b/Doc/lib/libstdtypes.tex	Wed Oct 28 20:08:35 1998 +0000
@@ -708,11 +708,11 @@
 \subsubsection{File Objects \label{bltin-file-objects}}
 
 File objects are implemented using \C{}'s \code{stdio} package and can be
-created with the built-in function \code{open()} described under
-Built-in Functions below.  They are also returned by some other
-built-in functions and methods, e.g.\ \function{posix.popen()} and
-\function{posix.fdopen()} and the \method{makefile()} method of socket
-objects.
+created with the built-in function \function{open()} described Section
+\ref{built-in-funcs}, ``Built-in Functions.''  They are also returned
+by some other built-in functions and methods, e.g.,
+\function{posix.popen()} and \function{posix.fdopen()} and the
+\method{makefile()} method of socket objects.
 \bifuncindex{open}
 \refbimodindex{posix}
 \refbimodindex{socket}