diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
index 0c735ff0..0046bb7a 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
@@ -107,7 +107,7 @@
                       (if tail-bound (cons tail-ty tail-bound) #f)))
   (cond
     [(null? doms)
-     (int-err "How could doms be null: ~a ~a" ty)]
+     (int-err "How could doms be null: ~a" ty)]
     [(and (= 1 (length doms)) (not (car rests)) (not (car drests)) (not tail-ty) (not tail-bound))
      (tc-error/expr
       #:return return