diff --git a/collects/mred/doc.txt b/collects/mred/doc.txt
index 18cbf1d3d6..3fef0dcbb1 100644
--- a/collects/mred/doc.txt
+++ b/collects/mred/doc.txt
@@ -32,4 +32,6 @@ The edit.ss module exports the following function.
 
 _wxme.ss_
 
-Reader syntax for PLT graphical format.
+#reader support for PLT graphical format. See also the "wxme"
+sub-collection of the "mred" collection.
+
diff --git a/collects/mred/wxme.ss b/collects/mred/wxme.ss
index fe0aac6944..1765793726 100644
--- a/collects/mred/wxme.ss
+++ b/collects/mred/wxme.ss
@@ -2,6 +2,6 @@
 (module wxme mzscheme
   (require "wxme/wxme.ss")
 
-  (provide (rename wxme:read read)
-           (rename wxme:read-syntax read-syntax)))
+  (provide (rename wxme-read read)
+           (rename wxme-read-syntax read-syntax)))
 
diff --git a/collects/mred/wxme/doc.txt b/collects/mred/wxme/doc.txt
index f4c5b30561..e1b12d8272 100644
--- a/collects/mred/wxme/doc.txt
+++ b/collects/mred/wxme/doc.txt
@@ -1,4 +1,22 @@
 
-_wxme.ss_
+_wxme.ss_ in mred/wxme
 
 Utilities for reading PLT graphical format files without MrEd.
+
+> (wxme-port->port input-port [snip-filter-proc-or-false])
+
+If `snip-filter-proc-or-false' is #f, then the generated port is pure
+text. Otherwise, the generated port may return "special" values for
+non-text items in the original stream.
+
+> (wxme-read port)
+
+Like `read', but for a WXME format input stream.
+
+> (wxme-read-syntax source-v port)
+
+Like `read-syntax', but for a WXME format input stream.
+
+> prop:readable
+
+A property for a structure representation of a snip.
diff --git a/collects/mred/wxme/wxme.ss b/collects/mred/wxme/wxme.ss
index 442b0a0470..678d477035 100644
--- a/collects/mred/wxme/wxme.ss
+++ b/collects/mred/wxme/wxme.ss
@@ -575,10 +575,10 @@
                                    [(special-comment? v) (loop accum)]
                                    [else (loop (cons v accum))]))))))))))
 
-  (define (wxme:read port)
+  (define (wxme-read port)
     (do-read port 'read read))
 
-  (define (wxme:read-syntax source-name-v port)
+  (define (wxme-read-syntax source-name-v port)
     (do-read port 'read-syntax
              (lambda (port)
                (read-syntax source-name-v port))))
@@ -587,6 +587,6 @@
            register-lib-mapping!
            unknown-extensions-skip-enabled
            prop:readable
-           wxme:read
-           wxme:read-syntax))
+           wxme-read
+           wxme-read-syntax))