diff --git a/Doc/lib/libamoeba.tex b/Doc/lib/libamoeba.tex
index 3bc7b89..3d8fd14 100644
--- a/Doc/lib/libamoeba.tex
+++ b/Doc/lib/libamoeba.tex
@@ -1,10 +1,10 @@
 \chapter{Amoeba Specific Services}
 
 \section{\module{amoeba} ---
-         None}
+         Amoeba system support.}
 \declaremodule{builtin}{amoeba}
 
-\modulesynopsis{None}
+\modulesynopsis{Functions for the Amoeba operating system.}
 
 
 This module provides some object types and operations useful for
@@ -107,8 +107,8 @@
 \end{funcdesc}
 
 \begin{funcdesc}{dir_append}{}
-\funcline{dir_delete}{}\ 
-\funcline{dir_lookup}{}\ 
+\funcline{dir_delete}{}
+\funcline{dir_lookup}{}
 \funcline{dir_replace}{}
 Like the corresponding
 \samp{name_}*