diff --git a/collects/typed-racket/base-env/prims.rkt b/collects/typed-racket/base-env/prims.rkt
index c8d6e7bb5f..b5cf6bb31b 100644
--- a/collects/typed-racket/base-env/prims.rkt
+++ b/collects/typed-racket/base-env/prims.rkt
@@ -730,8 +730,8 @@ This file defines two sorts of primitives. All of them are provided into any mod
 (define-syntax (for/annotation stx)
   (syntax-parse stx
    [(_ x ...)
-    (syntax/loc stx
-      (ann (for x ...) Void))]))
+    (quasisyntax/loc stx
+      (ann #,(syntax/loc stx (for x ...)) Void))]))
 (define-syntax (for*/annotation stx)
   (syntax-parse stx
    [(_ x ...)