diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 4dbc11b63..9ff21ae44 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -251,10 +251,7 @@ class Context:
 
         Example:
         >>> c = Context()
-        >>> c.set_ast_print_mode(Z3_PRINT_LOW_LEVEL)
         >>> x = Int('x', c)
-        >>> print(x)
-        (Int 0)
         >>> c.set_ast_print_mode(Z3_PRINT_SMTLIB2_COMPLIANT)
         >>> print(x)
         x