diff --git a/src/util/lp/gomory.cpp b/src/util/lp/gomory.cpp
index 29dc98bd6..55098dccf 100644
--- a/src/util/lp/gomory.cpp
+++ b/src/util/lp/gomory.cpp
@@ -61,7 +61,7 @@ class gomory::imp {
         }
         else {
             lp_assert(at_upper(j));
-            // the upper terms are inverted - therefore we have -
+            // the upper terms are inverted: therefore we have the minus
             new_a = - (fj < f0? fj / f0 : one_minus_fj / one_minus_f0);
             m_k.addmul(new_a, upper_bound(j).x);
             m_ex.push_justification(column_upper_bound_constraint(j), new_a);