server/tripe.8.in: Fix formatting mistake.

diff --git a/server/tripe.8.in b/server/tripe.8.in
index 930fcfe63a5efd19c778fe40afef51c5cc0fffba..439cc206184716b60a9000b611ec0998696bbf89 100644 (file)
--- a/server/tripe.8.in
+++ b/server/tripe.8.in
@@ -315,7 +315,7 @@ or
 .BR ec .
 If this attribute isn't present, then the key's type is examined: if
 it's of the form
 .BR ec .
 If this attribute isn't present, then the key's type is examined: if
 it's of the form

-.BR tripe\- group
+.BI tripe\- group

 then the
 .I group
 is used.  If no group is specified,
 then the
 .I group
 is used.  If no group is specified,