diff --git a/collects/wxme/doc.txt b/collects/wxme/doc.txt index e41005dd8d..ad52477b78 100644 --- a/collects/wxme/doc.txt +++ b/collects/wxme/doc.txt @@ -8,7 +8,7 @@ _wxme.ss_ --- reading PLT graphical format (WXME) files without MrEd Peeks from `input-port' and returns #t if it starts with magic bytes indicating a WXME-format stream, #f otherwise. -The magic bytes are "WXME01 ##" for digits and , followed +The magic bytes are "WXME01 ##" for digits and , followed by either a space, carriage return, or newline, and optionally prefixed with "#reader(\"read.ss\"\"wxme\")".