diff --git a/guide-examples.htm b/guide-examples.htm
index 59c5ca7..dec1c8d 100644
--- a/guide-examples.htm
+++ b/guide-examples.htm
@@ -1088,7 +1088,7 @@ <h2>Using Z3Py Locally</h2>
 <p>Z3Py is part of the Z3 distribution. It is located in the <tt>python</tt> subdirectory.
 To use it locally, you have to include the following command in your Python script.</p>
 <pre>
-from Z3 import *
+from z3 import *
 </pre>
 <p>
 The Z3 Python frontend directory must be in your <tt>PYTHONPATH</tt> environment variable.