diff --git a/stdlib/moreLabels.mli b/stdlib/moreLabels.mli
index 0160c53db..a8ade6e8e 100644
--- a/stdlib/moreLabels.mli
+++ b/stdlib/moreLabels.mli
@@ -384,9 +384,9 @@ module type S =
   end
 (** The output signature of the functor {!Make}. *)
 
-module Make : functor (H : HashedType) -> S
-   with type key = H.t
-   and type 'a t = 'a Hashtbl.Make(H).t
+  module Make : functor (H : HashedType) -> S
+     with type key = H.t
+      and type 'a t = 'a Hashtbl.Make(H).t
 (** Functor building an implementation of the hashtable structure.
     The functor [Hashtbl.Make] returns a structure containing
     a type [key] of keys and a type ['a t] of hash tables
@@ -461,9 +461,9 @@ module type SeededS =
 (** The output signature of the functor {!MakeSeeded}.
     @since 4.00.0 *)
 
-module MakeSeeded (H : SeededHashedType) : SeededS
-   with type key = H.t
-   and type 'a t = 'a Hashtbl.MakeSeeded(H).t
+  module MakeSeeded (H : SeededHashedType) : SeededS
+    with type key = H.t
+     and type 'a t = 'a Hashtbl.MakeSeeded(H).t
 (** Functor building an implementation of the hashtable structure.
     The functor [Hashtbl.MakeSeeded] returns a structure containing
     a type [key] of keys and a type ['a t] of hash tables
@@ -858,9 +858,9 @@ module type S =
   end
 (** Output signature of the functor {!Make}. *)
 
-module Make : functor (Ord : OrderedType) -> S
-   with type key = Ord.t
-   and type 'a t = 'a Map.Make(Ord).t
+  module Make : functor (Ord : OrderedType) -> S
+    with type key = Ord.t
+     and type 'a t = 'a Map.Make(Ord).t
 (** Functor building an implementation of the map structure
    given a totally ordered type. *)
 
@@ -1159,9 +1159,9 @@ module type S =
   end
 (** Output signature of the functor {!Make}. *)
 
-module Make : functor (Ord : OrderedType) -> S
-  with type elt = Ord.t
-   and type t = Set.Make(Ord).t
+  module Make : functor (Ord : OrderedType) -> S
+    with type elt = Ord.t
+     and type t = Set.Make(Ord).t
 (** Functor building an implementation of the set structure
    given a totally ordered type. *)
 
diff --git a/tools/unlabel-patches/1.mli b/tools/unlabel-patches/1.mli
index 789354bb1..09586bb94 100644
--- a/tools/unlabel-patches/1.mli
+++ b/tools/unlabel-patches/1.mli
@@ -1,3 +1,3 @@
-module Make : functor (H : HashedType) -> S
-   with type key = H.t
-   and type 'a t = 'a Hashtbl.Make(H).t
+  module Make : functor (H : HashedType) -> S
+     with type key = H.t
+      and type 'a t = 'a Hashtbl.Make(H).t
diff --git a/tools/unlabel-patches/2.mli b/tools/unlabel-patches/2.mli
index a6a352529..4ff662e85 100644
--- a/tools/unlabel-patches/2.mli
+++ b/tools/unlabel-patches/2.mli
@@ -1,3 +1,3 @@
-module MakeSeeded (H : SeededHashedType) : SeededS
-   with type key = H.t
-   and type 'a t = 'a Hashtbl.MakeSeeded(H).t
+  module MakeSeeded (H : SeededHashedType) : SeededS
+    with type key = H.t
+     and type 'a t = 'a Hashtbl.MakeSeeded(H).t
diff --git a/tools/unlabel-patches/3.mli b/tools/unlabel-patches/3.mli
index 6bb4b6acd..0b20cff9d 100644
--- a/tools/unlabel-patches/3.mli
+++ b/tools/unlabel-patches/3.mli
@@ -1,3 +1,3 @@
-module Make : functor (Ord : OrderedType) -> S
-   with type key = Ord.t
-   and type 'a t = 'a Map.Make(Ord).t
+  module Make : functor (Ord : OrderedType) -> S
+    with type key = Ord.t
+     and type 'a t = 'a Map.Make(Ord).t
diff --git a/tools/unlabel-patches/4.mli b/tools/unlabel-patches/4.mli
index a4ccfdb26..5c8b1837a 100644
--- a/tools/unlabel-patches/4.mli
+++ b/tools/unlabel-patches/4.mli
@@ -1,3 +1,3 @@
-module Make : functor (Ord : OrderedType) -> S
-  with type elt = Ord.t
-   and type t = Set.Make(Ord).t
+  module Make : functor (Ord : OrderedType) -> S
+    with type elt = Ord.t
+     and type t = Set.Make(Ord).t