diff --git a/src/bin/man/genltl.x b/src/bin/man/genltl.x
index f55efcc94..53a90be52 100644
--- a/src/bin/man/genltl.x
+++ b/src/bin/man/genltl.x
@@ -21,4 +21,4 @@ rv
 K. Rozier and M. Vardi: LTL Satisfiability Checking.
 Proceedings of Spin'07.  LNCS 4595.
 [SEE ALSO]
-randltl(1)
+.BR randltl (1)
diff --git a/src/bin/man/ltlcheck.x b/src/bin/man/ltlcheck.x
index e7adc7a46..e4e5fba9d 100644
--- a/src/bin/man/ltlcheck.x
+++ b/src/bin/man/ltlcheck.x
@@ -35,7 +35,10 @@ options: ltlcheck is faster when it does not have to compute these
 statistics.
 
 [SEE ALSO]
-randltl(1), genltl(1), ltlfilt(1), ltl2tgba(1)
+.BR randltl (1),
+.BR genltl (1),
+.BR ltlfilt (1),
+.BR ltl2tgba (1)
 
 [BIBLIOGRAPHY]
 ltlcheck is a Spot-based reimplementation of a tool called LBTT.  LBTT
diff --git a/src/bin/man/ltlfilt.x b/src/bin/man/ltlfilt.x
index 743f4ae3a..cb5287bea 100644
--- a/src/bin/man/ltlfilt.x
+++ b/src/bin/man/ltlfilt.x
@@ -2,3 +2,5 @@
 ltlfilt \- filter files or lists of LTL/PSL formulas
 [DESCRIPTION]
 .\" Add any additional description here
+[SEE ALSO]
+.BR randltl (1)
diff --git a/src/bin/man/randltl.x b/src/bin/man/randltl.x
index 1c6fb7281..ed4e2eaeb 100644
--- a/src/bin/man/randltl.x
+++ b/src/bin/man/randltl.x
@@ -3,4 +3,5 @@ randltl \- generate random LTL/PSL formulas
 [DESCRIPTION]
 .\" Add any additional description here
 [SEE ALSO]
-genltl(1), ltlfilt(1)
+.BR genltl (1),
+.BR ltlfilt (1)