diff --git a/collects/setup/infotab.ss b/collects/setup/infotab.ss
index 9a3fe4f9c5..939e51d883 100644
--- a/collects/setup/infotab.ss
+++ b/collects/setup/infotab.ss
@@ -62,7 +62,7 @@
 	   define quote
 	   list cons car cdr quasiquote unquote unquote-splicing
 	   list* append reverse
-           string-append format
+           string-append
 	   path->string build-path collection-path
 	   system-library-subpath
            (rename limited-require require)))