diff --git a/pkgs/gui-pkgs/gui-lib/framework/main.rkt b/pkgs/gui-pkgs/gui-lib/framework/main.rkt
index 43a285a57e..737f429156 100644
--- a/pkgs/gui-pkgs/gui-lib/framework/main.rkt
+++ b/pkgs/gui-pkgs/gui-lib/framework/main.rkt
@@ -159,7 +159,7 @@
 
  (proc-doc/names
   number-snip:make-repeating-decimal-snip
-  (number? boolean? . -> . (is-a?/c snip%))
+  (real? boolean? . -> . (is-a?/c snip%))
   (num show-prefix?)
   @{Makes a number snip that shows the decimal expansion for @racket[number].
     The boolean indicates if a @litchar{#e} prefix appears on the number.
@@ -168,7 +168,7 @@
 
  (proc-doc/names
   number-snip:make-fraction-snip
-  (number? boolean? . -> . (is-a?/c snip%))
+  (real? boolean? . -> . (is-a?/c snip%))
   (num show-prefix-in-decimal-view?)
   @{Makes a number snip that shows a fractional view of @racket[number].
     The boolean indicates if a @litchar{#e} prefix appears on the number, when
@@ -487,7 +487,7 @@
 
  (proc-doc/names
   path-utils:generate-autosave-name
-  (string? . -> . string?)
+  (-> (or/c #f path-string? path-for-some-system?) path?)
   (filename)
   @{Generates a name for an autosave file from @racket[filename].})
 
@@ -657,24 +657,6 @@
     @racket['std] this calls @racket[finder:std-get-file], and if it is
     @racket['common], @racket[finder:common-get-file] is called.})
 
- (proc-doc/names
-  finder:common-get-file-list
-  (->* ()
-       ((or/c false/c path?)
-        string?
-        (or/c false/c byte-regexp?)
-        string?
-        (or/c false/c (is-a?/c top-level-window<%>)))
-       (or/c (listof path?) false/c))
-  (()
-   ((directory #f)
-    (prompt "Select File")
-    (filter #f)
-    (filter-msg "That filename does not have the right form.")
-    (parent #f)))
-  @{This procedure queries the user for a list of filenames, using a
-    platform-independent dialog box.})
-
  (proc-doc/names
   frame:setup-size-pref
   (->* (symbol? number? number?) 
@@ -859,7 +841,7 @@
 
  (proc-doc/names
   handler:find-named-format-handler
-  (string? . -> . (path? . -> . (is-a?/c frame:editor<%>)))
+  (-> string? (or/c #f (-> path? (is-a?/c frame:editor<%>))))
   (name)
   @{This function selects a format handler.  See also
     @racket[handler:insert-format-handler].
@@ -868,7 +850,7 @@
 
  (proc-doc/names
   handler:find-format-handler
-  (path? . -> . (path? . -> . (is-a?/c frame:editor<%>)))
+  (-> path? (or/c #f (-> path? (is-a?/c frame:editor<%>))))
   (filename)
   @{This function selects a format handler.  See also
     @racket[handler:insert-format-handler].
diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/finder.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/finder.rkt
index 1624532449..8a3aca5a38 100644
--- a/pkgs/gui-pkgs/gui-lib/framework/private/finder.rkt
+++ b/pkgs/gui-pkgs/gui-lib/framework/private/finder.rkt
@@ -92,7 +92,6 @@
   (define/rename std-get-file    (*get-file '()))
   (define/rename common-put-file (*put-file '(common)))
   (define/rename common-get-file (*get-file '(common)))
-  (define common-get-file-list void)
   
   (define -put-file
     (λ args
diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/preferences.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/preferences.rkt
index 18b242b2ec..e6c0c7a940 100644
--- a/pkgs/gui-pkgs/gui-lib/framework/private/preferences.rkt
+++ b/pkgs/gui-pkgs/gui-lib/framework/private/preferences.rkt
@@ -624,7 +624,6 @@ the state transitions / contracts are:
                                 [else 12])]
            [font-section "mred"]
            [build-font-entry (λ (x) (string-append "Screen" x "__"))]
-           [font-file (find-graphical-system-path 'setup-file)]
            [build-font-preference-symbol
             (λ (family)
               (string->symbol (string-append "framework:" family)))]
diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt
index c948b8ecd0..9d2be724f8 100644
--- a/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt
+++ b/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt
@@ -137,7 +137,6 @@
      common-get-file 
      std-put-file 
      std-get-file 
-     common-get-file-list
      get-file
      put-file))