diff --git a/ompi/tools/ompi-server/ompi-server.1 b/ompi/tools/ompi-server/ompi-server.1 index 32af06bb0d..4708d2c439 100644 --- a/ompi/tools/ompi-server/ompi-server.1 +++ b/ompi/tools/ompi-server/ompi-server.1 @@ -20,8 +20,7 @@ ompi-server \- Server for supporting name publish/lookup operations. .\" ************************** .SH SYNOPSIS . -.B ompi-server -.R [ options ] +.BR ompi-server " [ options ]" . .\" ************************** .\" Options Section