diff --git a/src/qe/qe_mbp.cpp b/src/qe/qe_mbp.cpp
index 9ca4687b5..1390c0ae5 100644
--- a/src/qe/qe_mbp.cpp
+++ b/src/qe/qe_mbp.cpp
@@ -471,6 +471,7 @@ public:
         add_plugin(alloc(arith_project_plugin, m));
         add_plugin(alloc(datatype_project_plugin, m));
         add_plugin(alloc(array_project_plugin, m));
+        updt_params(p);
     }
 
     ~impl() {