diff --git a/collects/typed-racket/private/with-types.rkt b/collects/typed-racket/private/with-types.rkt
index 27242787..64b05235 100644
--- a/collects/typed-racket/private/with-types.rkt
+++ b/collects/typed-racket/private/with-types.rkt
@@ -79,7 +79,7 @@
                  ;; this parameter is just for printing types
                  ;; this is a parameter to avoid dependency issues
                  [current-type-names
-                  (delay
+                  (lazy
                     (append 
                      (type-name-env-map (lambda (id ty)
                                           (cons (syntax-e id) ty)))
diff --git a/collects/typed-racket/tc-setup.rkt b/collects/typed-racket/tc-setup.rkt
index 807f279c..5cb006fb 100644
--- a/collects/typed-racket/tc-setup.rkt
+++ b/collects/typed-racket/tc-setup.rkt
@@ -50,7 +50,7 @@
                      ;; this parameter is just for printing types
                      ;; this is a parameter to avoid dependency issues
                      [current-type-names
-                      (delay
+                      (lazy
                         (append
                          (type-name-env-map (lambda (id ty)
                                               (cons (syntax-e id) ty)))
diff --git a/collects/typed-racket/utils/tc-utils.rkt b/collects/typed-racket/utils/tc-utils.rkt
index 3bf80656..6d5e18e6 100644
--- a/collects/typed-racket/utils/tc-utils.rkt
+++ b/collects/typed-racket/utils/tc-utils.rkt
@@ -151,7 +151,7 @@ don't depend on any other portion of the system
 
 ;; parameter for currently-defined type aliases
 ;; this is used only for printing type names
-(define current-type-names (make-parameter (delay '())))
+(define current-type-names (make-parameter (lazy '())))
 
 ;; for reporting internal errors in the type checker
 (define-struct (exn:fail:tc exn:fail) ())