diff --git a/src/lib/reasoners/fun_sat.ml b/src/lib/reasoners/fun_sat.ml
index 63c8be0e33..43e56a6a4c 100644
--- a/src/lib/reasoners/fun_sat.ml
+++ b/src/lib/reasoners/fun_sat.ml
@@ -176,7 +176,8 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
     add_inst: E.t -> bool;
     unit_facts_cache : (E.gformula * Ex.t) ME.t ref;
     unknown_reason : Sat_solver_sig.unknown_reason option;
-    (** The reason why fun_sat raised I_dont_know f it does; None by default. *)
+    (** The reason why fun_sat raised [I_dont_know] if it does; [None] by
+        default. *)
   }
 
   let latest_saved_env = ref None
diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
index 6c1ccafa7a..f9af775264 100644
--- a/src/lib/reasoners/satml_frontend.ml
+++ b/src/lib/reasoners/satml_frontend.ml
@@ -61,7 +61,8 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
     add_inst : E.t -> bool;
     guards : guards;
     unknown_reason : Sat_solver_sig.unknown_reason option;
-    (** The reason why satml raised I_dont_know f it does; None by default. *)
+    (** The reason why satml raised [I_dont_know] if it does; [None] by
+        default. *)
   }
 
   let empty_guards () = {