diff --git a/src/kernel_services/cmdline_parameters/parameter_sig.mli b/src/kernel_services/cmdline_parameters/parameter_sig.mli
index 2dd81a0d8040e180ac33e9c3a924e08a1d456264..9df2908bf46d69e1960eea268058e2d3d29f527c 100644
--- a/src/kernel_services/cmdline_parameters/parameter_sig.mli
+++ b/src/kernel_services/cmdline_parameters/parameter_sig.mli
@@ -308,27 +308,25 @@ module type Specific_dir = sig
     ?mode:[`Create_path | `Normalize_only | `Must_exist ] ->
     string ->
     Filepath.Normalized.t
-  (**[get_dir ?mode p] returns a local-path [p], relative to the plugin
-     <specific-dir> directory, to a sub-directory of the plugin <specific-dir>
-     directory.
-     @param mode determines how to handle the resulting path:
-     + [Create_path] creates the resulting path, if does not exist.
-     + [Normalize_only] just normalizes the resulting path.
-     + [Must_exist] aborts if the resulting path does not exist.
-  *)
+  (** [get_dir ?mode p] returns a local-path [p], relative to the plugin
+      <specific-dir> directory, to a sub-directory of the plugin <specific-dir>
+      directory.
+      @param mode determines how to handle the resulting path:
+      + [Create_path] creates the resulting path, if does not exist.
+      + [Normalize_only] just normalizes the resulting path.
+      + [Must_exist] aborts if the resulting path does not exist. *)
 
   val get_file:
     ?mode:[`Create_path | `Normalize_only | `Must_exist ] ->
     string ->
     Filepath.Normalized.t
-  (**[get_file ?mode p] returns a local-path [p], relative to the plugin
-     <specific-dir> directory, to a file in the plugin <specific-dir>
-     directory.
-     @param mode determines how to handle the resulting path:
-     + [Create_path] creates the dirname of resulting path, if does not exist.
-     + [Normalize_only] just normalizes the resulting path.
-     + [Must_exist] aborts if the resulting path does not exist.
-  *)
+    (** [get_file ?mode p] returns a local-path [p], relative to the plugin
+        <specific-dir> directory, to a file in the plugin <specific-dir>
+        directory.
+        @param mode determines how to handle the resulting path:
+        + [Create_path] creates the dirname of resulting path, if does not exist.
+        + [Normalize_only] just normalizes the resulting path.
+        + [Must_exist] aborts if the resulting path does not exist. *)
 end
 
 (* ************************************************************************** *)