diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index a7c0a099a..48da8ca3c 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -1271,7 +1271,7 @@ def Distinct(*args):
     >>> simplify(Distinct(x, y, z))
     Distinct(x, y, z)
     >>> simplify(Distinct(x, y, z), blast_distinct=True)
-    And(Not(y == x), Not(z == x), Not(z == y))
+    And(Not(x == y), Not(z == x), Not(z == y))
     """
     args  = _get_args(args)
     ctx   = _ctx_from_ast_arg_list(args)