diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml
index aad1cb495a888253446f319ea348daec6e0480a1..dc881ea4522292dcecf78611cfa4bf366d1c3bf1 100644
--- a/src/plugins/dive/server_interface.ml
+++ b/src/plugins/dive/server_interface.ml
@@ -61,7 +61,8 @@ let origin_to_locations = function
   | Studia.Writes.Assign s
   | CallDirect s -> [Printer_tag.localizable_of_stmt s]
   | CallIndirect _s -> []
-  | GlobalInit (_vi, _init) -> []
+  | GlobalInit (vi, _init) ->
+    [ Printer_tag.localizable_of_declaration (SGlobal vi) ]
   | FormalInit (_vi, callsites) ->
     List.concat_map
       (fun (_,l) -> List.map Printer_tag.localizable_of_stmt l)