diff --git a/Doc/libobjs.tex b/Doc/libobjs.tex
index 9006b8a..b4dd409 100644
--- a/Doc/libobjs.tex
+++ b/Doc/libobjs.tex
@@ -3,9 +3,10 @@
 \nodename{Built-in Objects}
 
 Names for built-in exceptions and functions are found in a separate
-symbol table.  This table is searched last, so local and global
+symbol table.  This table is searched last when the interpreter looks
+up the meaning of a name, so local and global
 user-defined names can override built-in names.  Built-in types are
-described together here for easy reference.  %
+described together here for easy reference.%
 \footnote{Most descriptions sorely lack explanations of the exceptions
 	that may be raised --- this will be fixed in a future version of
 	this manual.}