diff --git a/src/math/lp/factorization.h b/src/math/lp/factorization.h
index 60a8fb862..94c309473 100644
--- a/src/math/lp/factorization.h
+++ b/src/math/lp/factorization.h
@@ -35,8 +35,7 @@ class factor {
     bool         m_sign{ false };
 public:
     factor(): factor(false) {}
-    explicit factor(bool sign): m_sign(sign) {}
-    factor(lpvar var): m_var(var), m_type(factor_type::VAR), m_sign(false) {}
+    explicit factor(lpvar var): m_var(var), m_type(factor_type::VAR), m_sign(false) {}
     explicit factor(lpvar v, factor_type t) : m_var(v), m_type(t), m_sign(false) {}
     unsigned var() const { return m_var; }
     factor_type type() const { return m_type; }
diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h
index 51628b937..9baa1b026 100644
--- a/src/math/lp/nla_core.h
+++ b/src/math/lp/nla_core.h
@@ -232,6 +232,7 @@ public:
     
     std::ostream & print_factor(const factor& f, std::ostream& out) const;
     std::ostream & print_factor_with_vars(const factor& f, std::ostream& out) const;
+    std::ostream & print_factor_with_vars(lpvar j, std::ostream& out) const { return print_var(j, out); }
     std::ostream& print_monic(const monic& m, std::ostream& out) const;
     std::ostream& print_bfc(const factorization& m, std::ostream& out) const;
     std::ostream& print_monic_with_vars(unsigned i, std::ostream& out) const;