diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt
index 0ac4028b..0d534213 100644
--- a/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -634,6 +634,7 @@ the typed racket language.
      (define/with-syntax (i* ...) i*s)
      (syntax/loc stx
        (begin (: i* t) ...
+              (: i  t) ...
               (provide (rename-out [i* i] ...))))]))
 
 (define-syntax (declare-refinement stx)