diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp
index 0cd6b1859..21d46cccc 100644
--- a/src/math/lp/nla_grobner.cpp
+++ b/src/math/lp/nla_grobner.cpp
@@ -203,7 +203,7 @@ namespace nla {
         auto ql = q;
         while (!ql.is_val()) {
             lc = lcm(lc, denominator(ql.hi().val()));
-            ql = q.lo();
+            ql = ql.lo();
         }
         lc = lcm(denominator(ql.val()), lc);