diff --git a/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl b/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl
index 5e0ba89eb3..2ed4a30343 100644
--- a/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl
+++ b/pkgs/htdp-pkgs/htdp-doc/htdp/htdp-lib.scrbl
@@ -1,7 +1,9 @@
 #lang scribble/doc
 
 @(require scribble/manual scribble/eval
-          (for-label lang/prim lang/imageeq lang/posn racket/gui/base))
+          (for-label lang/prim lang/imageeq lang/posn racket/gui/base
+                     (only-in racket/contract any/c)
+                     (only-in racket/class is-a?/c)))
 @(define (htdp-ref s) @secref[#:doc '(lib "scribblings/htdp-langs/htdp-langs.scrbl") s])
 
 @title{HtDP Languages as Libraries}
diff --git a/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl b/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl
index 945cd6f6c5..10bea7052b 100644
--- a/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl
+++ b/pkgs/htdp-pkgs/htdp-doc/htdp/testing.scrbl
@@ -1,7 +1,9 @@
 #lang scribble/doc
 
 @(require scribble/manual
-          (for-label test-engine/racket-tests (only-in htdp/testing generate-report)))
+          (for-label test-engine/racket-tests
+                     (only-in racket/base void?)
+                     (only-in htdp/testing generate-report)))
 
 @title{Testing}