diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt
index 1f04fcaa6c..8403c33b21 100644
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@@ -563,7 +563,7 @@ plt-extras :+= (package: "lang/" #:docs "htdp-langs/")
 
 ;; -------------------- htdp, tests, teachpacks
 plt-extras :+=
-  (collects: "htdp/")
+  (package: "htdp/")
   (doc: "htdp-lib")
   (- (package: "teachpack/") (collects: "teachpack/deinprogramm/"))
   (- (package: "2htdp/")