diff --git a/collects/tests/htdp-lang/advanced.rktl b/collects/tests/htdp-lang/advanced.rktl
index 56236decb9..bff36122bf 100644
--- a/collects/tests/htdp-lang/advanced.rktl
+++ b/collects/tests/htdp-lang/advanced.rktl
@@ -8,7 +8,9 @@
 (define no-extra-if-tests? #t)
 
 ;; Check export names:
+#;
 (require syntax/docprovide)
+#;
 (let ([docs (lookup-documentation '(lib "htdp-advanced.rkt" "lang") 'procedures)])
   (for-each
    (lambda (row)
diff --git a/collects/tests/htdp-lang/intermediate-lambda.rktl b/collects/tests/htdp-lang/intermediate-lambda.rktl
index b6ac3a2fe7..782c5a9a08 100644
--- a/collects/tests/htdp-lang/intermediate-lambda.rktl
+++ b/collects/tests/htdp-lang/intermediate-lambda.rktl
@@ -8,7 +8,9 @@
 (define no-extra-if-tests? #t)
 
 ;; Check export names:
+#;
 (require syntax/docprovide)
+#;
 (let ([docs (lookup-documentation '(lib "htdp-intermediate-lambda.rkt" "lang") 'procedures)])
   (for-each
    (lambda (row)
diff --git a/collects/tests/htdp-lang/intermediate.rktl b/collects/tests/htdp-lang/intermediate.rktl
index 3bbe58d07d..cc6b88159a 100644
--- a/collects/tests/htdp-lang/intermediate.rktl
+++ b/collects/tests/htdp-lang/intermediate.rktl
@@ -8,7 +8,9 @@
 (define no-extra-if-tests? #t)
 
 ;; Check export names:
+#;
 (require syntax/docprovide)
+#;
 (let ([docs (lookup-documentation '(lib "htdp-intermediate.rkt" "lang") 'procedures)])
   (for-each
    (lambda (row)