diff --git a/src/api/python/z3/__init__.py b/src/api/python/z3/__init__.py
index f7aa29ab1..2d8dd5beb 100644
--- a/src/api/python/z3/__init__.py
+++ b/src/api/python/z3/__init__.py
@@ -1,4 +1,5 @@
-from .z3 import *
+from . import z3
+from z3 import *
 
 from . import z3num
 from . import z3poly