diff --git a/src/kernel_internals/runtime/fc_config.mli b/src/kernel_internals/runtime/fc_config.mli
index 774ed39765c8c945805b1428d252d2c8acc49827..1b9c799d3a4533995bd43d597a76d9e8c65b6067 100644
--- a/src/kernel_internals/runtime/fc_config.mli
+++ b/src/kernel_internals/runtime/fc_config.mli
@@ -43,88 +43,88 @@ val minor_version: int
     @since 19.0-Potassium *)
 
 val is_gui: bool ref
-  (** Is the Frama-C GUI running?
-      @since Beryllium-20090601-beta1 *)
+(** Is the Frama-C GUI running?
+    @since Beryllium-20090601-beta1 *)
 
 val ocamlc: string
-  (** Name of the bytecode compiler.
-      @since Boron-20100401 *)
+(** Name of the bytecode compiler.
+    @since Boron-20100401 *)
 
 val ocamlopt: string
-  (** Name of the native compiler.
-      @since Boron-20100401 *)
+(** Name of the native compiler.
+    @since Boron-20100401 *)
 
 val ocaml_wflags: string
-  (** Warning flags used when compiling Frama-C.
-      @since Chlorine-20180501 *)
+(** Warning flags used when compiling Frama-C.
+    @since Chlorine-20180501 *)
 
 val datadir: string
-  (** Directory where architecture independent files are.
-      Main directory, use {!datadirs} for the others *)
+(** Directory where architecture independent files are.
+    Main directory, use {!datadirs} for the others *)
 
 val datadirs: string list
-  (** Directories where architecture independent files are in order of
-      priority.
-      @since 19.0-Potassium *)
+(** Directories where architecture independent files are in order of
+    priority.
+    @since 19.0-Potassium *)
 
 val framac_libc: string
-  (** Directory where Frama-C libc headers are.
-      @since 19.0-Potassium *)
+(** Directory where Frama-C libc headers are.
+    @since 19.0-Potassium *)
 
 val libdir: string
-  (** Directory where the Frama-C kernel library is.
-      @since Beryllium-20090601-beta1 *)
+(** Directory where the Frama-C kernel library is.
+    @since Beryllium-20090601-beta1 *)
 
 val plugin_dir: string list
-  (** Directory where the Frama-C dynamic plug-ins are.
-      @modify Magnesium-20151001 *)
+(** Directory where the Frama-C dynamic plug-ins are.
+    @modify Magnesium-20151001 *)
 
 val plugin_path: string
-  (** The coma-separated concatenation of [plugin_dir].
-      @since Magnesium-20151001 *)
+(** The coma-separated concatenation of [plugin_dir].
+    @since Magnesium-20151001 *)
 
 val compilation_unit_names: string list
-  (** List of names of all kernel compilation units.
-      @since Boron-20100401 *)
+(** List of names of all kernel compilation units.
+    @since Boron-20100401 *)
 
 val library_names: string list
-  (** List of linked libraries.
-      @since Magnesium-20151001 *)
+(** List of linked libraries.
+    @since Magnesium-20151001 *)
 
 val preprocessor: string
-  (** Name of the default command to call the preprocessor.
-      If the CPP environment variable is set, use it
-      else use the built-in default from autoconf. Usually this is
-      "gcc -C -E -I."
-      @since Oxygen-20120901 *)
+(** Name of the default command to call the preprocessor.
+    If the CPP environment variable is set, use it
+    else use the built-in default from autoconf. Usually this is
+    "gcc -C -E -I."
+    @since Oxygen-20120901 *)
 
 val using_default_cpp: bool
-  (** whether the preprocessor command is the one defined at configure time
-      or the result of taking a CPP environment variable, in case it differs
-      from the configure-time command.
+(** whether the preprocessor command is the one defined at configure time
+    or the result of taking a CPP environment variable, in case it differs
+    from the configure-time command.
 
-      @since Phosphorus-20170501-beta1 *)
+    @since Phosphorus-20170501-beta1 *)
 
 val preprocessor_is_gnu_like: bool
-  (** whether the default preprocessor accepts the same options as gcc
-      (i.e. is either gcc or clang), when this is the case, the default
-      command line for pre-processing contains more options.
-      @since Sodium-20150201
-   *)
+(** whether the default preprocessor accepts the same options as gcc
+    (i.e. is either gcc or clang), when this is the case, the default
+    command line for pre-processing contains more options.
+    @since Sodium-20150201
+*)
 
 val preprocessor_supported_arch_options: string list
-  (** architecture-related options (e.g. -m32) known to be supported by
-      the default preprocessor. Used to match preprocessor commands to
-      selected machdeps.
-      @since Phosphorus-20170501-beta1
-   *)
+(** architecture-related options (e.g. -m32) known to be supported by
+    the default preprocessor. Used to match preprocessor commands to
+    selected machdeps.
+    @since Phosphorus-20170501-beta1
+*)
 
 val preprocessor_keep_comments: bool
-  (** [true] if the default preprocessor selected during compilation is
-      able to keep comments (hence ACSL annotations) in its output.
-      @since Neon-rc3 
-   *)
-  
+(** [true] if the default preprocessor selected during compilation is
+    able to keep comments (hence ACSL annotations) in its output.
+    @since Neon-rc3
+*)
+
 val dot: string option
 (** Dot command name.
     @return [None] if `dot' is not installed.
diff --git a/src/libraries/stdlib/transitioning.mli b/src/libraries/stdlib/transitioning.mli
index bc07a75fdb6ff3168bb568339241dc4b0403b8af..b07a1d6bd0bb4138a1840dcd60541f3d82d5c720 100644
--- a/src/libraries/stdlib/transitioning.mli
+++ b/src/libraries/stdlib/transitioning.mli
@@ -75,7 +75,7 @@ module Format: sig
   val pp_open_stag : Format.formatter -> stag -> unit
   val pp_close_stag : Format.formatter -> unit -> unit
   val pp_print_option: ?none:(Format.formatter -> unit -> unit) ->
-       (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
+    (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
 end
 
 (** {1 Zarith} *)