diff --git a/project/Build.scala b/project/Build.scala
index baf78da32460..ea1fd3d7ee97 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -409,6 +409,8 @@ object Build {
 
     javaOptions ++= (javaOptions in `dotty-compiler`).value,
 
+    javaOptions += "-Xss3m",
+
     genDocs := Def.inputTaskDyn {
       val dottydocExtraArgs = spaceDelimited("<arg>").parsed
 
diff --git a/project/scripts/genDocs b/project/scripts/genDocs
index 7389be48c69c..86b16ac09f6a 100755
--- a/project/scripts/genDocs
+++ b/project/scripts/genDocs
@@ -19,7 +19,7 @@ echo "Working directory: $PWD"
 
 # this command will generate docs in $PWD/docs/_site
 SBT="$(cd "$(dirname "${BASH_SOURCE[0]}")" >& /dev/null && pwd)/sbt"
-"$SBT" "genDocs $GENDOC_EXTRA_ARGS"
+"$SBT" "dotty-bootstrapped/genDocs $GENDOC_EXTRA_ARGS"
 
 # make sure that the previous command actually succeeded
 if [ ! -d "$PWD/docs/_site" ]; then