diff --git a/README-CMake.md b/README-CMake.md
index ef8d3b41d..51e785fab 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -245,7 +245,7 @@ The following useful options can be passed to CMake whilst configuring.
 * ``Z3_BUILD_LIBZ3_SHARED`` - BOOL. If set to ``TRUE`` build libz3 as a shared library otherwise build as a static library.
 * ``Z3_ENABLE_EXAMPLE_TARGETS`` - BOOL. If set to ``TRUE`` add the build targets for building the API examples.
 * ``Z3_USE_LIB_GMP`` - BOOL. If set to ``TRUE`` use the GNU multiple precision library. If set to ``FALSE`` use an internal implementation.
-* ``Z3_PYTHON_EXECUTABLE`` - STRING. The python executable to use during the build.
+* ``PYTHON_EXECUTABLE`` - STRING. The python executable to use during the build.
 * ``Z3_BUILD_PYTHON_BINDINGS`` - BOOL. If set to ``TRUE`` then Z3's python bindings will be built.
 * ``Z3_INSTALL_PYTHON_BINDINGS`` - BOOL. If set to ``TRUE`` and ``Z3_BUILD_PYTHON_BINDINGS`` is ``TRUE`` then running the ``install`` target will install Z3's Python bindings.
 * ``Z3_BUILD_DOTNET_BINDINGS`` - BOOL. If set to ``TRUE`` then Z3's .NET bindings will be built.
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 352593547..e37ca131f 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -11,7 +11,7 @@ set(DOTNET_API_OPTIONS "")
 set(JAVA_API_OPTIONS "")
 SET(DOC_EXTRA_DEPENDS "")
 
-if (BUILD_PYTHON_BINDINGS)
+if (Z3_BUILD_PYTHON_BINDINGS)
   # FIXME: Don't hard code this path
   list(APPEND PYTHON_API_OPTIONS "--z3py-package-path" "${PROJECT_BINARY_DIR}/python/z3")
   list(APPEND DOC_EXTRA_DEPENDS "build_z3_python_bindings")