diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index d46d40ab2..879b19597 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -7344,7 +7344,7 @@ def binary_interpolant(a,b,p=None,ctx=None):
 
     >>> x = Int('x')
     >>> print binary_interpolant(x<0,x>2)
-    x <= 2
+    Not(x >= 0)
     """
     f = And(Interp(a),b)
     return tree_interpolant(f,p,ctx)[0]