diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 44973a3c3..a4b82fbb5 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -1806,7 +1806,7 @@ namespace lp {
                 dep = lra.join_deps(dep, lra.get_bound_constraint_witnesses_for_column(p.var()));         
             }
             TRACE("dio", tout << "jterm:";
-                  print_lar_term_L(lra.get_term(j), tout) << "\ndep:";
+                  print_lar_term_L(lra.get_term(j), tout) << "\ndeps:\n";
                   print_deps(tout, dep) << std::endl;);
             lra.update_column_type_and_bound(j, kind, bound, dep);