diff --git a/src/kernel_services/ast_printing/printer_api.mli b/src/kernel_services/ast_printing/printer_api.mli
index dd0fca1a34410c35f804246373de0aee4cfebcf0..8e0ddd1fd75692f9d77ef50f8be2cb1969f6ba96 100644
--- a/src/kernel_services/ast_printing/printer_api.mli
+++ b/src/kernel_services/ast_printing/printer_api.mli
@@ -85,14 +85,14 @@ class type extensible_printer_type = object
     ?block:bool ->
     (unit -> unit)
     -> unit
-  (** Open a ghost context if the the first [bool] is true and we are not already
-      in a ghost context. [post_fmt] is a format like ["%t"] and is used to define
-      the format of the end of the ghost context. [block] indicates whether we
-      should open a C block or not (and defaults to [true]). The last parameter is
-      the function to perform in the ghost context (generally some AST element).
-
-      @since 19.0-Potassium+dev
-  *)
+  (** Open a ghost context if the the first [bool] is true and we are not
+     already in a ghost context. [post_fmt] is a format like ["%t"] and is used
+     to define the format at the end of the ghost context. [block] indicates
+     whether we should open a C block or not (defaults to [true]). The last
+     parameter is the function to be applied in the ghost context (generally
+     some AST element).
+
+      @since 19.0-Potassium+dev *)
 
   method private current_stmt: stmt option
   (** @return the [stmt] being printed *)