diff --git a/collects/meta/props b/collects/meta/props
index 38938f7b9e..9eb0327ffb 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1018,7 +1018,7 @@ path/s is either such a string or a list of them.
 "collects/tests/drracket/io.rkt" drdr:command-line (gracket *) drdr:timeout 500
 "collects/tests/drracket/language-test.rkt" responsible (robby matthias) drdr:command-line (gracket *) drdr:timeout 1500
 "collects/tests/drracket/memory-log.rkt" drdr:command-line (gracket *)
-"collects/tests/drracket/module-lang-test.rkt" drdr:command-line (gracket "-j" "-e" "(void (putenv \"PLTDRDRTEST\" \"yes\"))" "-t" *) drdr:timeout 400
+"collects/tests/drracket/module-lang-test.rkt" drdr:command-line (gracket "-j" "-e" "(void (putenv \"PLTDRDRTEST\" \"yes\"))" "-t" *) drdr:timeout 800
 "collects/tests/drracket/randomly-click-language-dialog.rkt" drdr:command-line (mzc *)
 "collects/tests/drracket/randomly-click-preferences.rkt" drdr:command-line (mzc *)
 "collects/tests/drracket/repl-test-debug.rkt" drdr:command-line (gracket *) drdr:timeout 300
@@ -1031,6 +1031,7 @@ path/s is either such a string or a list of them.
 "collects/tests/drracket/syncheck-test.rkt" drdr:command-line (gracket *) drdr:timeout 200
 "collects/tests/drracket/teaching-lang-coverage.rkt" responsible (robby matthias) drdr:command-line (gracket *)
 "collects/tests/drracket/teaching-lang-save-file.rkt" responsible (robby matthias) drdr:command-line (gracket *)
+"collects/tests/drracket/teaching-lang-sharing-modules.rkt" drdr:timeout 400
 "collects/tests/drracket/teachpack.rkt" responsible (robby matthias) drdr:command-line (gracket *)
 "collects/tests/drracket/test-engine-test.rkt" responsible (sperber) drdr:command-line (gracket *) drdr:timeout 480
 "collects/tests/eli-tester.rkt" responsible (eli)