diff --git a/src/util/mpz.h b/src/util/mpz.h
index 72faea771..c7c1a880f 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -374,7 +374,7 @@ public:
     }
 
 
-    // d <- a + b*c
+    // d <- a - b*c
     void submul(mpz const & a, mpz const & b, mpz const & c, mpz & d) {
         if (is_one(b)) {
             sub(a, c, d);