diff --git a/src/util/mpq.h b/src/util/mpq.h
index 03a51d7d1..85285ecdd 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -672,7 +672,7 @@ public:
         set(target.m_den, source.m_den);
     }
 
-    void set(mpz & a, int val) { mpz_manager<SYNCH>::set(a, val); }
+    void set(mpz & a, int64_t val) { mpz_manager<SYNCH>::set(a, val); }
 
     void set(mpq & a, int val) {
         set(a.m_num, val);
diff --git a/src/util/mpz.h b/src/util/mpz.h
index 243189bef..384acc7f2 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -601,11 +601,11 @@ public:
     void set(mpz & a, char const * val);
 
     void set(mpz & a, int64_t val) {
-        if (mpz::fits_in_small(v) && is_small(c)) {
-            c.set(v);
+        if (mpz::fits_in_small(val) && is_small(a)) {
+            a.set(v);
         }
         else {
-            set_big_i64(c, v);
+            set_big_i64(a, v);
         }
     }