diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index e9eb003bc39..5729fd68e57 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -6470,7 +6470,7 @@ def __init__(self, solver=None, ctx=None, logFile=None):
             self.solver = solver
         Z3_solver_inc_ref(self.ctx.ref(), self.solver)
         if logFile is not None:
-            self.set("solver.smtlib2_log", logFile)
+            self.set("smtlib2_log", logFile)
 
     def __del__(self):
         if self.solver is not None and self.ctx.ref() is not None: