minor things
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.}