diff --git a/collects/syntax/scribblings/modcollapse.scrbl b/collects/syntax/scribblings/modcollapse.scrbl
index 0017d12e0e..b4d9bf148c 100644
--- a/collects/syntax/scribblings/modcollapse.scrbl
+++ b/collects/syntax/scribblings/modcollapse.scrbl
@@ -20,7 +20,11 @@ The result can be a path if @scheme[module-path-v] contains a path
 element that is needed for the result, or if
 @scheme[rel-to-module-path-v] is a non-string path that is needed for
 the result; otherwise, the result is a module path in the sense of
-@scheme[module-path?].}
+@scheme[module-path?].
+
+When the result is a @scheme['lib] or @scheme['planet] module path, it
+is normalized so that equivalent module paths are represented by
+@scheme[equal?] results.}
 
 @defproc[(collapse-module-path-index [module-path-index module-path-index?]
                                      [rel-to-module-path-v any/c])
diff --git a/collects/tests/mzscheme/module.ss b/collects/tests/mzscheme/module.ss
index 9ad1f95ba0..968061ad56 100644
--- a/collects/tests/mzscheme/module.ss
+++ b/collects/tests/mzscheme/module.ss
@@ -385,7 +385,7 @@
 (test #f module-path? '(planet "foo.ss"))
 (test #t module-path? '(planet "foo.ss" ("robby" "redex.plt")))
 (test #f module-path? '(planet "../foo.ss" ("robby" "redex.plt")))
-(test #t module-path? '(planet "foo.ss" ("robby" "redex.plt" (7 8))))
+(test #t module-path? '(planet "foo.ss" ("robby" "redex.plt" 7 (7 8))))
 (test #t module-path? '(planet "foo.ss" ("robby" "redex.plt" 7 8)))
 (test #t module-path? '(planet "foo.ss" ("robby" "redex.plt" 7 (= 8))))
 (test #t module-path? '(planet "foo.ss" ("robby" "redex.plt") "sub" "deeper"))