diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index cb4ecd570..509492067 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -7668,7 +7668,11 @@ class Solver(Z3PPObject):
         >>> s = Solver()
         >>> s.add(x > 0)
         >>> s.add(x < 2)
-        >>> r = s.sexpr()
+        >>> print(s.sexpr())
+        (declare-fun x () Int)
+        (assert (> x 0))
+        (assert (< x 2))
+
         """
         return Z3_solver_to_string(self.ctx.ref(), self.solver)