diff --git a/src/bin/man/genltl.x b/src/bin/man/genltl.x
index 53a90be52..41f232bbe 100644
--- a/src/bin/man/genltl.x
+++ b/src/bin/man/genltl.x
@@ -15,7 +15,7 @@ Automata for Certain Classes of LTL Formulas.  Proceedings of DepCoS'09.
 .TP
 go
 P. Gastin and D. Oddoux: Fast LTL to Büchi Automata Translation.
-Proceedings of CAV'01.  LNCS 2102
+Proceedings of CAV'01.  LNCS 2102.
 .TP
 rv
 K. Rozier and M. Vardi: LTL Satisfiability Checking.