diff --git a/src/lib/frontend/d_cnf.ml b/src/lib/frontend/d_cnf.ml
index c20e281218..8411c915b2 100644
--- a/src/lib/frontend/d_cnf.ml
+++ b/src/lib/frontend/d_cnf.ml
@@ -306,9 +306,9 @@ let bv_builtins env s =
   | _ -> `Not_found
 
 (** Takes a dolmen identifier [id] and injects it in Alt-Ergo's registered
-    identifier. For example, transforms "fpa_rounding_mode", the Alt-Ergo builtin
-    type into the SMT rounding type "RoundingMode". Also does it for the enums
-    of this type. *)
+    identifiers.
+    It transforms "fpa_rounding_mode", the Alt-Ergo builtin type into the SMT
+    rounding type "RoundingMode". Also does it for the enums of this type. *)
 let inject_identifier id =
   match id with
   | Id.{name = Simple n; _} ->