diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 173119011..e3995ddb5 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -10066,7 +10066,7 @@ def Full(s):
     """Create the regular expression that accepts the universal language
     >>> e = Full(ReSort(SeqSort(IntSort())))
     >>> print(e)
-    Full(ReSort(Int))
+    Full(ReSort(Seq(Int)))
     >>> e1 = Full(ReSort(StringSort()))
     >>> print(e1)
     Full(ReSort(String))