diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index b2c96965f..211b6777e 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -797,7 +797,7 @@ class ExprRef(AstRef):
         False
         """
         if other == None:
-            return BoolVal(False, self.ctx)
+            return False
         a, b = _coerce_exprs(self, other)
         return BoolRef(Z3_mk_eq(self.ctx_ref(), a.as_ast(), b.as_ast()), self.ctx)