diff --git a/Makefile b/Makefile
index e131814..f5ef195 100644
--- a/Makefile
+++ b/Makefile
@@ -44,8 +44,8 @@ cs019-doc:
 
 
 setup:
-	raco setup --no-docs -P dyoo whalesong.plt 1 6
+	raco setup --no-docs -P dyoo whalesong.plt 1 5
 
 
 planet-link:
-	raco planet link dyoo whalesong.plt 1 6 .
\ No newline at end of file
+	raco planet link dyoo whalesong.plt 1 5 .
\ No newline at end of file
diff --git a/scribblings/cs019.scrbl b/scribblings/cs019.scrbl
index b46dcb3..dc09b65 100644
--- a/scribblings/cs019.scrbl
+++ b/scribblings/cs019.scrbl
@@ -71,6 +71,14 @@ dependencies, and its documentation.  When it finally finishes,
 you should see a @filepath{whalesong} launcher in the current
 directory.
 
+If you see the following error message during installation:
+@verbatim|{
+raco setup: error: during Building docs for ...scribblings/manual.scrbl
+raco setup:   require: unknown module: 'program
+}|
+please ignore it: it is due to a bug in Racket's documentation
+generator.
+
 
 
 @section{Examples}