diff --git a/doc/manual/distributed.texi b/doc/manual/distributed.texi
index 77ca10ccf..8cbe3539f 100644
--- a/doc/manual/distributed.texi
+++ b/doc/manual/distributed.texi
@@ -146,7 +146,7 @@ localhost
 localhost
 localhost
 ...
-@endverbatim
+@end verbatim
 
 Or if you have a cluster of machines, you can name them.