diff --git a/collects/lang/htdp-langs.rkt b/collects/lang/htdp-langs.rkt
index 8bf2d11c0a..44ee9bdac2 100644
--- a/collects/lang/htdp-langs.rkt
+++ b/collects/lang/htdp-langs.rkt
@@ -475,16 +475,18 @@
                               ;; Extract snip-related modules:
                               (let-values ([(snip-class-names data-class-names)
                                             (extract-used-classes port)])
+                                (define names (append snip-class-names data-class-names))
                                 (list*
                                  '(lib "wxme/read.ss")
                                  '(lib "mred/mred.ss")
                                  reader-module
                                  (filter
                                   values
-                                  (map (λ (x) (string->lib-path x #t))
-                                       (append
-                                        snip-class-names
-                                        data-class-names)))))
+                                  (append
+                                   (map (λ (x) (string->lib-path x #t))
+                                        names)
+                                   (map (λ (x) (string->lib-path x #f))
+                                        names)))))
                               ;; Extract reader-related modules:
                               (begin
                                 (file-position port 0)