diff --git a/src/coq_elpi_HOAS.ml b/src/coq_elpi_HOAS.ml
index 5ff913d3c..e63c333ea 100644
--- a/src/coq_elpi_HOAS.ml
+++ b/src/coq_elpi_HOAS.ml
@@ -2761,6 +2761,7 @@ let poly_cumul_udecl_variance_of_options state options =
     let open UState in
     state, true, true,
     { univdecl_qualities = [];
+      univdecl_extensible_qualities = false;
       univdecl_extensible_instance;
       univdecl_extensible_constraints;
       univdecl_constraints;
@@ -2772,6 +2773,7 @@ let poly_cumul_udecl_variance_of_options state options =
     let open UState in
     state, true, false,
     { univdecl_qualities = [];
+      univdecl_extensible_qualities = false;
       univdecl_extensible_instance;
       univdecl_extensible_constraints;
       univdecl_constraints;