diff --git a/collects/meta/props b/collects/meta/props
index 144b348bca..151292417f 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1132,6 +1132,7 @@ path/s is either such a string or a list of them.
 "collects/mysterx/main.rkt" drdr:command-line (mzc *)
 "collects/mysterx/mysterx.rkt" drdr:command-line (mzc *)
 "collects/mzcom" responsible (mflatt)
+"collects/mzlib" responsible (mflatt)
 "collects/mzlib/contract.rkt" responsible (robby)
 "collects/mzlib/foreign.rkt" responsible (eli)
 "collects/mzlib/kw.rkt" responsible (eli)