diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 56db9faff..8c91c5cdc 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -50,7 +50,7 @@ import sys
 import io
 import math
 import copy
-import collections
+from typing import Iterable
 
 Z3_DEBUG = __debug__
 
@@ -7500,7 +7500,7 @@ class Optimize(Z3PPObject):
         def asoft(a):
             v = Z3_optimize_assert_soft(self.ctx.ref(), self.optimize, a.as_ast(), weight, id)
             return OptimizeObjective(self, v, False)
-        if isinstance(arg, collections.Iterable):
+        if isinstance(arg, Iterable):
             return [asoft(a) for a in arg]
         return asoft(arg)