diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss
index 1e45e27a..3f01e9fe 100644
--- a/collects/mred/mred.ss
+++ b/collects/mred/mred.ss
@@ -7605,7 +7605,7 @@
 		 (or (not s)
 		     ((send text get-snip-position s) . >= . end))))
 	  ;; It's all text --- just read it into a string
-	  (let ([port (open-input-string (send text get-text start end))])
+	  (let ([port (open-input-string (send text get-text start end) port-name)])
 	    (port-count-lines! port)
 	    port)
 	  ;; Create the port:
diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index 5160a1f2..e9c9474a 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -212,8 +212,6 @@
     end-edit-sequence
     begin-edit-sequence
     style-has-changed
-    write-to-file
-    read-from-file
     set-min-height
     set-max-height
     get-min-height
@@ -222,9 +220,6 @@
     set-max-width
     get-min-width
     get-max-width
-    get-space
-    get-descent
-    get-extent
     insert-file
     load-file
     insert-port
@@ -248,6 +243,8 @@
     write-headers-to-file
     read-footer-from-file
     read-header-from-file
+    write-to-file
+    read-from-file
     set-filename
     release-snip
     on-snip-modified
@@ -267,6 +264,9 @@
     on-local-char
     on-local-event
     find-first-snip
+    get-space
+    get-descent
+    get-extent
     blink-caret
     own-caret
     refresh
@@ -863,6 +863,9 @@
     on-local-char
     on-local-event
     find-first-snip
+    get-space
+    get-descent
+    get-extent
     blink-caret
     own-caret
     refresh
@@ -1064,6 +1067,9 @@
     on-local-char
     on-local-event
     find-first-snip
+    get-space
+    get-descent
+    get-extent
     blink-caret
     own-caret
     refresh