diff --git a/typed-racket-lib/typed-racket/base-env/top-interaction.rkt b/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
index 5bc44cf7..a5729b69 100644
--- a/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
+++ b/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
@@ -79,7 +79,7 @@
       [(_ e)
        (tc-toplevel/full stx #'e
          (λ (expanded type)
-           #`(display
+           #`(displayln
               #,(if (eq? type 'no-type)
                     "This form has no type (it does not produce a value)."
                     (pretty-format-type