diff --git a/src/smt/theory_utvpi_def.h b/src/smt/theory_utvpi_def.h
index ec5a19e35..ee22b50f0 100644
--- a/src/smt/theory_utvpi_def.h
+++ b/src/smt/theory_utvpi_def.h
@@ -970,7 +970,7 @@ namespace smt {
             if (eps_r.is_pos()) {
                 rational num_r = -b.get_rational();
                 SASSERT(num_r.is_pos());
-                rational new_delta = num_r/4*eps_r;
+                rational new_delta = num_r/(4*eps_r);
                 if (new_delta < m_delta) {
                     m_delta = new_delta;
                 }