diff --git a/collects/meta/props b/collects/meta/props
index 9cb417b48b..07420c49a7 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1188,7 +1188,7 @@ path/s is either such a string or a list of them.
 "collects/redex/examples/church.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/combinators.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/compatible-closure.rkt" drdr:command-line (mzc *)
-"collects/redex/examples/delim-cont/tests.rkt" drdr:command-line (mzc *)
+"collects/redex/examples/delim-cont/test.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/letrec.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/omega.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/r6rs/r6rs-tests.rkt" drdr:command-line (mzc *)
diff --git a/collects/redex/examples/delim-cont/README.txt b/collects/redex/examples/delim-cont/README.txt
index 4403bc3f2d..ddd8c45792 100644
--- a/collects/redex/examples/delim-cont/README.txt
+++ b/collects/redex/examples/delim-cont/README.txt
@@ -1,7 +1,7 @@
 To run the tests using the model:
 ---------------------------------
 
- 1. Open "tests.rkt" in DrRacket
+ 1. Open "test.rkt" in DrRacket
 
  2. Change DrRacket's current language to "Use the langauge declared
  in the source"
diff --git a/collects/redex/examples/delim-cont/tests.rkt b/collects/redex/examples/delim-cont/test.rkt
similarity index 100%
rename from collects/redex/examples/delim-cont/tests.rkt
rename to collects/redex/examples/delim-cont/test.rkt
diff --git a/collects/redex/tests/run-tests.rkt b/collects/redex/tests/run-tests.rkt
index 672e36f997..6fe9b9bb44 100644
--- a/collects/redex/tests/run-tests.rkt
+++ b/collects/redex/tests/run-tests.rkt
@@ -31,7 +31,7 @@
          ("../examples/beginner.ss" main)
          "../examples/racket-machine/reduction-test.ss"
          "../examples/racket-machine/verification-test.ss"
-         "../examples/delim-cont/tests.rkt"
+         "../examples/delim-cont/test.rkt"
          ("../examples/r6rs/r6rs-tests.ss" main))
        '())))