diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 34eb9f5f8..c8574f560 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -7396,8 +7396,8 @@ class Statistics:
         >>> s.check()
         sat
         >>> st = s.statistics()
-        >>> len(st)
-        7
+        >>> len(st) > 0
+        True
         """
         return int(Z3_stats_size(self.ctx.ref(), self.stats))
 
@@ -7410,8 +7410,8 @@ class Statistics:
         >>> s.check()
         sat
         >>> st = s.statistics()
-        >>> len(st)
-        7
+        >>> len(st) > 0
+        True
         >>> st[0]
         ('nlsat propagations', 2)
         >>> st[1]