diff --git a/collects/framework/private/main.rkt b/collects/framework/private/main.rkt
index 893c5de6f8..f15e294de1 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-file with-output-to-port with-output-to-string
 
 	       for-all
 	       ))