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
diff --git a/src/plugins/server/states.ml b/src/plugins/server/states.ml
index 04bb0f80b730a06a05a5b2666c61529369204ca4..08317ce24c1dedfc8c886a18d943acd41ca9c62c 100644
--- a/src/plugins/server/states.ml
+++ b/src/plugins/server/states.ml
@@ -209,18 +209,14 @@ let reload array =
 let update array k =
   let m = content array in
   if not m.cleared then
-    begin
-      m.updates <- Kmap.add (array.key k) (Add k) m.updates ;
-      Request.emit array.signal ;
-    end
+    m.updates <- Kmap.add (array.key k) (Add k) m.updates ;
+  Request.emit array.signal
 
 let remove array k =
   let m = content array in
   if not m.cleared then
-    begin
-      m.updates <- Kmap.add (array.key k) Remove m.updates ;
-      Request.emit array.signal ;
-    end
+    m.updates <- Kmap.add (array.key k) Remove m.updates ;
+  Request.emit array.signal
 
 let signal array = array.signal