Fixed a number of small problems reported by Detlef Lannert
<lannert@uni-duesseldorf.de>.
diff --git a/Doc/lib/libundoc.tex b/Doc/lib/libundoc.tex
index c66fa64..85152c4 100644
--- a/Doc/lib/libundoc.tex
+++ b/Doc/lib/libundoc.tex
@@ -166,8 +166,8 @@
 \end{description}
 
 
-The following modules are obsolete, but are likely re-surface as tools
-or scripts.
+The following modules are obsolete, but are likely to re-surface as
+tools or scripts:
 
 \begin{description}
 \item[\module{find}]