diff --git a/src/coq_elpi_vernacular.ml b/src/coq_elpi_vernacular.ml
index c410775fd..5f51c9ca0 100644
--- a/src/coq_elpi_vernacular.ml
+++ b/src/coq_elpi_vernacular.ml
@@ -444,9 +444,14 @@ let loc_merge l1 l2 =
 let cache_program (nature,p,p_str) =
   match nature with
   | Command _ ->
+    let command = Vernacexpr.{
+      ext_plugin = "coq-elpi.elpi";
+      ext_entry = "Elpi" ^ p_str;
+      ext_index = 0;
+    } in
     let ext =
       Vernacextend.declare_dynamic_vernac_extend
-        ~command:("Elpi"^p_str)
+        ~command
         ?entry:None
         ~depr:false