diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt
index 7e34f1536d..811a2d4f69 100644
--- a/collects/typed-scheme/typecheck/tc-app.rkt
+++ b/collects/typed-scheme/typecheck/tc-app.rkt
@@ -418,7 +418,7 @@
                 andmap ormap reverse extend-parameterization)
     [(#%plain-app extend-parameterization pmz args ...)
      (let loop ([args (syntax->list #'(args ...))])
-       (if (null? args) Univ
+       (if (null? args) (ret Univ)
            (let* ([p (car args)]
                   [pt (single-value p)]
                   [v (cadr args)]