diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index c59c6950196bf9e022025e75741a04ab02a877a7..dce3b62f90f59c0b486db460125a9c5a9f1b214e 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -216,7 +216,8 @@ struct
       ~name:"markerInfo"
       ~descr:(Md.plain "Marker informations")
       ~key:snd ~keyType:Jstring
-      ~iter model
+      ~iter ~add_reload_hook:ast_update_hook
+      model
 
   let create_tag = function
     | PStmt(_,s) -> Printf.sprintf "#s%d" s.sid