diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index d10b6679b0e161a070454e0dcb0ff1882f8a5a9a..c69abdd308a30cb482e4b0e01f27fbed3fc043f4 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -359,7 +359,7 @@ struct
       if not libc then Kernel.PrintLibc.set true ;
       let txt = Rich_text.to_string Printer_tag.pretty (PGlobal global) in
       if not libc then Kernel.PrintLibc.set false ;
-      if Kernel_function.is_main kf then (txt ^ " /* main */") else txt
+      if Kernel_function.is_entry_point kf then (txt ^ " /* main */") else txt
     with err ->
       if not libc then Kernel.PrintLibc.set false ; raise err