diff --git a/Doc/lib/libamoeba.tex b/Doc/lib/libamoeba.tex
index 3bc7b891085..3d8fd1498e9 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 @@ Returns the size of a bullet file.
 \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_}*