diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 284ed205b4cd0432b449b67acdcaf3091d3084c1..79f0e41a0688fa636d180001b3c6739e3a3b4d5d 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -802,8 +802,8 @@ let build_marker = Option.map @@ fun input ->
 let descr = "Build a marker from an ACSL term."
 
 let () = Request.register ~package
-  ~kind:`GET ~name:"markerFromTerm" ~descr:(Markdown.plain descr)
-  ~input:(module MarkerTermInput) ~output:(module MarkerTermOutput)
-  build_marker
+    ~kind:`GET ~name:"markerFromTerm" ~descr:(Markdown.plain descr)
+    ~input:(module MarkerTermInput) ~output:(module MarkerTermOutput)
+    build_marker
 
 (**************************************************************************)