diff --git a/collects/compiler/doc.txt b/collects/compiler/doc.txt
index 08ee9948ec..3feea8f1ee 100644
--- a/collects/compiler/doc.txt
+++ b/collects/compiler/doc.txt
@@ -147,7 +147,9 @@ next section.
          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.
+         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
diff --git a/collects/config/info.ss b/collects/config/info.ss
index 582902e258..bc0fdf2249 100644
--- a/collects/config/info.ss
+++ b/collects/config/info.ss
@@ -1,4 +1,3 @@
 (module info (lib "infotab.ss" "setup")
   (define name "Config")
-  (define doc.txt "doc.txt")
-  (define compile-omit-files '("config.ss")))
+  (define doc.txt "doc.txt"))
diff --git a/collects/setup/configtab.ss b/collects/setup/configtab.ss
index 0d94c95bb9..a54d540efe 100644
--- a/collects/setup/configtab.ss
+++ b/collects/setup/configtab.ss
@@ -73,19 +73,15 @@
                                      #`(delay (to-path #,val)) val))
                                  (syntax->list #'(name ...))
                                  (syntax->list #'(val  ...)))])
+               (define ((mkdef v) id)
+                 (if (memq id syms)
+                   '()
+                   (list #`(define #,(datum->syntax-object stx id stx) #,v))))
                #`(#%plain-module-begin
                   (provide #,@path-exports #,@flag-exports)
                   (define name expr) ...
-                  #,@(apply append (map (lambda (id)
-                                          (if (memq id syms)
-                                            '()
-                                            (list #`(define #,id use-default))))
-                                        path-exports))
-                  #,@(apply append (map (lambda (id)
-                                          (if (memq id syms)
-                                            '()
-                                            (list #`(define #,id #f))))
-                                        flag-exports))))))])))
+                  #,@(apply append (map (mkdef #'use-default) path-exports))
+                  #,@(apply append (map (mkdef #'#f) flag-exports))))))])))
 
   (provide (rename config-module-begin #%module-begin)
 	   define