diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index b0404e126..e02554a3d 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1254,7 +1254,7 @@ namespace smt {
             }
             case lp::lia_move::bound: {
                 // todo nikolaj
-                // Need to set a bound >= k on the only  var from the term
+                // Need to set a bound x[j] >= k where j is the only  var from the term
                 return l_false;
             }
             case lp::lia_move::cut: {