diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
index 2d7d1caa..57c2810e 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -418,7 +418,10 @@ This file defines two sorts of primitives. All of them are provided into any mod
      (add-ann #'arg #'ty)]))
 
 (define-for-syntax (add-ann expr-stx ty-stx)
-  (type-ascription-property expr-stx ty-stx))
+  (type-ascription-property
+    (quasisyntax/loc expr-stx
+      (#%expression #,expr-stx))
+    ty-stx))
 
 
 (define-syntax (inst stx)
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/pr13468.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/pr13468.rkt
index 56873496..6ecbe301 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/pr13468.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/pr13468.rkt
@@ -18,8 +18,8 @@ TR opt: pr13468.rkt 33:5 (magnitude (ann -6.0 Negative-Flonum)) -- unary float
 TR opt: pr13468.rkt 34:5 (magnitude (ann 6.0 Flonum)) -- unary float
 TR opt: pr13468.rkt 38:5 (real-part (ann 0 Zero)) -- unary number
 TR opt: pr13468.rkt 39:5 (real-part (ann 1 One)) -- unary number
-TR opt: pr13468.rkt 3:13 6.0+2.3i -- unboxed literal
-TR opt: pr13468.rkt 3:13 6.0+2.3i -- unboxed literal
+TR opt: pr13468.rkt 3:13 6.0+2.3i -- unbox float-complex
+TR opt: pr13468.rkt 3:13 6.0+2.3i -- unbox float-complex
 TR opt: pr13468.rkt 3:5 (- (ann 6.0+2.3i Float-Complex)) -- unboxed unary float complex
 TR opt: pr13468.rkt 40:5 (real-part (ann 6 Byte)) -- unary number
 TR opt: pr13468.rkt 41:5 (real-part (ann 6 Index)) -- unary number
@@ -29,8 +29,8 @@ TR opt: pr13468.rkt 45:5 (real-part (ann -6 Nonpositive-Fixnum)) -- unary number
 TR opt: pr13468.rkt 46:5 (real-part (ann -6 Negative-Fixnum)) -- unary number
 TR opt: pr13468.rkt 47:5 (real-part (ann 6 Fixnum)) -- unary number
 TR opt: pr13468.rkt 49:5 (real-part (ann 6 Positive-Integer)) -- unary number
-TR opt: pr13468.rkt 4:13 6.0+2.3i -- unboxed literal
-TR opt: pr13468.rkt 4:13 6.0+2.3i -- unboxed literal
+TR opt: pr13468.rkt 4:13 6.0+2.3i -- unbox float-complex
+TR opt: pr13468.rkt 4:13 6.0+2.3i -- unbox float-complex
 TR opt: pr13468.rkt 4:5 (/ (ann 6.0+2.3i Float-Complex)) -- unboxed unary float complex
 TR opt: pr13468.rkt 50:5 (real-part (ann 6 Nonnegative-Integer)) -- unary number
 TR opt: pr13468.rkt 51:5 (real-part (ann -6 Nonpositive-Integer)) -- unary number
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/vector-length.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/vector-length.rkt
index addb6a12..39219faa 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/vector-length.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/vector-length.rkt
@@ -1,7 +1,7 @@
 #;#;
 #<<END
 TR opt: vector-length.rkt 2:0 (vector-length (vector 1 2 3)) -- known-length vector-length
-TR opt: vector-length.rkt 3:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length
+TR opt: vector-length.rkt 3:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- vector-length
 END
 #<<END
 3