diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index aaad24256..22ec30ad2 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -6932,10 +6932,10 @@ def substitute(t, *m):
     >>> x = Int('x')
     >>> y = Int('y')
     >>> substitute(x + 1, (x, y + 1))
-    2 + y
+    y + 1 + 1
     >>> f = Function('f', IntSort(), IntSort())
     >>> substitute(f(x) + f(y), (f(x), IntVal(1)), (f(y), IntVal(1)))
-    2
+    1 + 1
     """
     if isinstance(m, tuple):
         m1 = _get_args(m)