diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 2fa85a7cd..1a6e9c43f 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -3704,7 +3704,7 @@ def BV2Int(a, is_signed=False):
     >>> x > BV2Int(b, is_signed=True)
     x > If(b < 0, BV2Int(b) - 8, BV2Int(b))
     >>> solve(x > BV2Int(b), b == 1, x < 3)
-    [b = 1, x = 2]
+    [x = 2, b = 1]
     """
     if z3_debug():
         _z3_assert(is_bv(a), "Z3 bit-vector expression expected")