diff --git a/Doc/lib/libobjs.tex b/Doc/lib/libobjs.tex
index 8668eff..d19697b 100644
--- a/Doc/lib/libobjs.tex
+++ b/Doc/lib/libobjs.tex
@@ -6,8 +6,8 @@
 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.%
-\footnote{Most descriptions sorely lack explanations of the exceptions
+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.}
 \indexii{built-in}{types}