diff --git a/src/kernel_services/ast_printing/printer_api.mli b/src/kernel_services/ast_printing/printer_api.mli
index 8e0ddd1fd75692f9d77ef50f8be2cb1969f6ba96..a09665c4365ec4cbafc36db2060b72f955acb93d 100644
--- a/src/kernel_services/ast_printing/printer_api.mli
+++ b/src/kernel_services/ast_printing/printer_api.mli
@@ -86,11 +86,11 @@ class type extensible_printer_type = object
     (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 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).
+      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 *)