diff --git a/typed-racket-lib/typed-racket/optimizer/vector.rkt b/typed-racket-lib/typed-racket/optimizer/vector.rkt
index 40ca65cb..8181a0b9 100644
--- a/typed-racket-lib/typed-racket/optimizer/vector.rkt
+++ b/typed-racket-lib/typed-racket/optimizer/vector.rkt
@@ -79,7 +79,7 @@
                          #`(when (immutable? new-v)
                              (op new-v i.opt new.opt ...)) ; produces the correct error message
                          #'(begin))
-                   #'(op.unsafe v.opt i.opt new.opt ...)))
+                   (op.unsafe v.opt i.opt new.opt ...)))
 
   ;; we can do the bounds checking separately, to eliminate some of the checks
   (pattern (#%plain-app op:vector-op v:opt-expr i:fixnum-expr new:opt-expr ...)
diff --git a/typed-racket-test/optimizer/tests/box.rkt b/typed-racket-test/optimizer/tests/box.rkt
index 1cc058ef..334c374e 100644
--- a/typed-racket-test/optimizer/tests/box.rkt
+++ b/typed-racket-test/optimizer/tests/box.rkt
@@ -1,7 +1,6 @@
 #;#;
 #<<END
 TR opt: box.rkt 4:0 (unbox x) -- box
-TR opt: box.rkt 5:0 (set-box! x 2) -- box
 TR opt: box.rkt 6:0 (unbox x) -- box
 END
 #<<END