diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f0a775d2d..fb18cfc9c 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -103,8 +103,8 @@ stages:
         set -e
         eval `opam config env` 
         cd doc
-        python mk_api_doc.py --mld --z3py-package-path=../build/python/z3
-        python mk_params_doc.py 
+        python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3
+        python3 mk_params_doc.py 
         mkdir api/html/ml
         ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
         cd ..
diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 2f59a6ee7..cb1446a08 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -368,7 +368,7 @@ namespace z3 {
         func_decl recfun(char const * name, sort const & d1, sort const & d2, sort const & range);
 
         /**
-         * \brief add function definition body to declaration decl. decl needs to be declared using context::<recfun>.
+         * \brief add function definition body to declaration decl. decl needs to be declared using context::recfun.
          * @param decl
          * @param args
          * @param body