diff --git a/coq/loader.ml b/coq/loader.ml
index 6ac4ec19..854bc2b1 100644
--- a/coq/loader.ml
+++ b/coq/loader.ml
@@ -93,7 +93,7 @@ let plugin_handler user_loader =
   let loader = Option.default default_loader user_loader in
   let safe_loader = safe_loader loader in
   fun fl_pkg ->
-    let _, fl_pkg = Mltop.PluginSpec.repr fl_pkg in
+    let fl_pkg = Mltop.PluginSpec.to_package fl_pkg in
     match map_serlib fl_pkg with
     | Some serlib_pkg ->
       safe_loader serlib_pkg