I don't feel like making a PR for that, someone can likely push directly.
> git diff
diff --git a/stdlib/printexc.mli b/stdlib/printexc.mli
index cfedc097a9..15e3cb94e2 100644
--- a/stdlib/printexc.mli
+++ b/stdlib/printexc.mli
@@ -103,7 +103,7 @@ val register_printer: (exn -> string option) -> unit
val use_printers: exn -> string option
(** [Printexc.use_printers e] returns [None] if there are no registered
- printers and [Some s] with else as the resulting string otherwise.
+ printers and [Some s] with [s] as the resulting string otherwise.
@since 4.09
*)
I don't feel like making a PR for that, someone can likely push directly.