diff --git a/src/util/mpq.h b/src/util/mpq.h
index 85285ecdd..83992111f 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -674,7 +674,7 @@ public:
 
     void set(mpz & a, int64_t val) { mpz_manager<SYNCH>::set(a, val); }
 
-    void set(mpq & a, int val) {
+    void set(mpq & a, int64_t val) {
         set(a.m_num, val);
         reset_denominator(a);
     }
@@ -724,13 +724,6 @@ public:
 
     void set(mpq & a, char const * val);
 
-    void set(mpz & a, int64_t val) { mpz_manager<SYNCH>::set(a, val); }
-
-    void set(mpq & a, int64_t val) {
-        set(a.m_num, val);
-        reset_denominator(a);
-    }
-
     void set(mpz & a, uint64_t val) { mpz_manager<SYNCH>::set(a, val); }
     
     void set(mpq & a, uint64_t val) {
diff --git a/src/util/mpz.h b/src/util/mpz.h
index 384acc7f2..c4ac37d1d 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -602,10 +602,10 @@ public:
 
     void set(mpz & a, int64_t val) {
         if (mpz::fits_in_small(val) && is_small(a)) {
-            a.set(v);
+            a.set(val);
         }
         else {
-            set_big_i64(a, v);
+            set_big_i64(a, val);
         }
     }