diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 21870f3dfc505003653c9a64285bd3f3733552ca..21f6d0abeb19a78e6d158aa8886e7d510c3a1a5a 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -94,7 +94,7 @@ struct
       Hashtbl.add locs tag loc ;
       tag
 
-  let lookup = Hashtbl.find (STATE.get()).locs
+  let lookup tag = Hashtbl.find (STATE.get()).locs tag
 
   type t = localizable
   let syntax = Sy.publish ~page:Data.page ~name:"marker"