diff --git a/doc/README b/doc/README
index 9b5dc756d..876771b11 100644
--- a/doc/README
+++ b/doc/README
@@ -17,6 +17,8 @@ To generate documentation for the Z3 code, we must execute
 
    doxygen z3code.dox
 
+We must also have dot installed in our system.
+
 The documentation will be store in the subdirectory './code/html'.
 The main file is './code/html/index.html'
 
diff --git a/doc/update_website.cmd b/doc/update_api_website.cmd
similarity index 100%
rename from doc/update_website.cmd
rename to doc/update_api_website.cmd
diff --git a/doc/z3code.dox b/doc/z3code.dox
index 7ec57594e..1a1993314 100644
--- a/doc/z3code.dox
+++ b/doc/z3code.dox
@@ -19,7 +19,7 @@ DOXYFILE_ENCODING      = UTF-8
 # The PROJECT_NAME tag is a single word (or a sequence of words surrounded
 # by quotes) that should identify the project.
 
-PROJECT_NAME           = Z3_CODE
+PROJECT_NAME           = Z3
 PROJECT_NUMBER         =
 OUTPUT_DIRECTORY       = code
 CREATE_SUBDIRS         = NO