diff --git a/collects/compiler/doc.txt b/collects/compiler/doc.txt
index 3feea8f1ee..99bc6d7432 100644
--- a/collects/compiler/doc.txt
+++ b/collects/compiler/doc.txt
@@ -122,7 +122,7 @@ next section.
       file. If `dest-dir' is 'auto, each .zo file is placed in a
       "compiled" subdirectory relative to the source file. (The
       directory is created if necessary.)
- 
+
  Collection compilation
  ----------------------
 
@@ -144,12 +144,9 @@ next section.
 
 >      compile-omit-files - a list of filenames (without paths); all
          Scheme files in the collection are compiled except for the
-         files in this list.  If a file contains elaboration time
-         expressions (e.g., macros, signatures) that are not intended
-         to be local to the file, then the file should be included in
-         this list.  Note: files that are required by other files that
-         are compiled will get compiled in the process even when
-         listed here.
+         files in this list.  Note: files that are required by other
+         files that are compiled will get compiled in the process even
+         when listed here.
 
 >      compile-extension-omit-files - a list of filenames to extend
          the list returned for `compile-omit-files'. Unlike the list