diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index c1bdf2713..b46f5a9ef 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -32,7 +32,7 @@ sat
 Z3 exceptions:
 
 >>> try:
-...   x = Int('x')
+...   x = BitVec('x', 32)
 ...   y = Bool('y')
 ...   # the expression x + y is type incorrect
 ...   n = x + y