diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
index b56ee98d40..d1325fc685 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
@@ -80,7 +80,7 @@
                              (format "- : ~a~a~a\n"
                                      tg
                                      (cond [(equal? tc tg) ""]
-                                           [else (format " [generalized from ~a]" tc)])
+                                           [else (format " [more precisely: ~a]" tc)])
                                      (cond [(equal? tc t) ""]
                                            [did-I-suggest-:print-type-already? " ..."]
                                            [else (set! did-I-suggest-:print-type-already? #t)
@@ -91,7 +91,7 @@
                              (format "- : ~a~a~a\n"
                                      (cons 'Values tgs)
                                      (cond [(andmap equal? tgs tcs) ""]
-                                           [else (format " [generalized from ~a]" (cons 'Values tcs))])
+                                           [else (format " [more precisely: ~a]" (cons 'Values tcs))])
                                      ;; did any get pruned?
                                      (cond [(andmap equal? t tcs) ""]
                                            [did-I-suggest-:print-type-already? " ..."]