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