diff --git a/collects/web-server/configuration/configuration-table.rkt b/collects/web-server/configuration/configuration-table.rkt
index d92363cca2..15c35c4388 100644
--- a/collects/web-server/configuration/configuration-table.rkt
+++ b/collects/web-server/configuration/configuration-table.rkt
@@ -105,7 +105,7 @@
 (define (write-configuration-table new configuration-path)
   (define sexpr (configuration-table->sexpr new))
   (call-with-output-file configuration-path
-    (lambda (out) (pretty-print sexpr out))
+    (lambda (out) (pretty-write sexpr out))
     #:exists 'truncate))
 
 ; host-table->sexpr : host-table
diff --git a/collects/web-server/private/configure.rkt b/collects/web-server/private/configure.rkt
index 01ed764e67..d5a44ffc5f 100644
--- a/collects/web-server/private/configure.rkt
+++ b/collects/web-server/private/configure.rkt
@@ -56,7 +56,7 @@
 ; write-to-file : str TST -> void
 (define (write-to-file file-name x)
   (call-with-output-file file-name
-    (lambda (out) (pretty-print x out))
+    (lambda (out) (pretty-write x out))
     #:exists 'truncate))
 
 (define default-configuration-path default-configuration-table-path)
@@ -801,7 +801,7 @@
       (call-with-output-file
           file-path
         (lambda (out)
-          (pretty-print
+          (pretty-write
            `(module ,CONFIGURE-SERVLET-NAME racket
               (require (lib ,CONFIGURE-SERVLET-NAME "web-server" "private"))
               (provide (all-from (lib ,CONFIGURE-SERVLET-NAME "web-server" "private")))