diff --git a/collects/framework/private/main.rkt b/collects/framework/private/main.rkt
index f15e294de1..c8f8c3d0d1 100644
--- a/collects/framework/private/main.rkt
+++ b/collects/framework/private/main.rkt
@@ -261,7 +261,7 @@
                parameterize
                call-with-input-file call-with-input-file* with-input-from-file
                with-input-from-port call-with-output-file
-               with-output-to-file with-output-to-port with-output-to-string
+               with-output-to-file with-output-to-port 
 
 	       for-all
 	       ))