diff --git a/infer/src/checkers/annotations.ml b/infer/src/checkers/annotations.ml
index 9dd8dc842..7fb2aff84 100644
--- a/infer/src/checkers/annotations.ml
+++ b/infer/src/checkers/annotations.ml
@@ -15,9 +15,10 @@ module L = Logging
 (** Annotations. *)
 
 (** Method signature with annotations. *)
-type annotated_signature =
-  { ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
-    params: (Mangled.t * Typ.item_annotation * Typ.t) list } (** Annotated parameters. *)
+type annotated_signature = {
+  ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
+  params: (Mangled.t * Typ.item_annotation * Typ.t) list (** Annotated parameters. *)
+}
 
 let param_equal (s1, ia1, t1) (s2, ia2, t2) =
   Mangled.equal s1 s2 &&
diff --git a/infer/src/checkers/annotations.mli b/infer/src/checkers/annotations.mli
index 8fe759a30..3dccba77c 100644
--- a/infer/src/checkers/annotations.mli
+++ b/infer/src/checkers/annotations.mli
@@ -23,9 +23,10 @@ type annotation =
   | Present
 
 (** Method signature with annotations. *)
-type annotated_signature =
-  { ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
-    params: (Mangled.t * Typ.item_annotation * Typ.t) list } (** Annotated parameters. *)
+type annotated_signature = {
+  ret : Typ.item_annotation * Typ.t; (** Annotated return type. *)
+  params: (Mangled.t * Typ.item_annotation * Typ.t) list (** Annotated parameters. *)
+}
 
 (** Check if the annotated signature is for a wrapper of an anonymous inner class method.
     These wrappers have the same name as the original method, every type is Object, and the parameters