diff --git a/collects/meta/props b/collects/meta/props
index e700aab38d..256e857b2c 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -910,8 +910,7 @@ path/s is either such a string or a list of them.
 "collects/handin-server" responsible (eli)
 "collects/handin-server/checker.rkt" drdr:command-line (mzc *)
 "collects/handin-server/main.rkt" drdr:command-line (mzc *)
-"collects/handin-server/overridden-collects/teachpack/htdp/guess.rkt" drdr:command-line (gracket-text "-t" *)
-"collects/handin-server/overridden-collects/teachpack/htdp/master.rkt" drdr:command-line (gracket-text "-t" *)
+"collects/handin-server/overridden-collects/teachpack/" drdr:command-line (gracket-text "-t" *)
 "collects/handin-server/utils.rkt" drdr:command-line (mzc *)
 "collects/handin-server/web-status-server.rkt" drdr:command-line (mzc *)
 "collects/help" responsible (robby)