diff --git a/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt b/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt
index b4cd4a0a..27015a8f 100644
--- a/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt
@@ -1,6 +1,6 @@
 #;
 (
- silent-dead-branch.rkt 12:0 (let-values () (quote 1)) -- dead then branch
+ silent-dead-branch.rkt line 12 col 0 - (let-values () (quote 1)) - dead then branch
  )
 
 #lang typed/racket
diff --git a/collects/typed-scheme/optimizer/dead-code.rkt b/collects/typed-scheme/optimizer/dead-code.rkt
index fa65d188..d73e16da 100644
--- a/collects/typed-scheme/optimizer/dead-code.rkt
+++ b/collects/typed-scheme/optimizer/dead-code.rkt
@@ -16,11 +16,11 @@
            #:when (tautology? #'tst)
            #:with opt
            (begin (log-optimization "dead else branch" #'els)
-                  #`(begin (void #,((optimize) #'tst))
-                           #,((optimize) #'thn))))
+                  #`(#%expression (begin #,((optimize) #'tst)
+                                         #,((optimize) #'thn)))))
   (pattern (if tst:expr thn:expr els:expr)
            #:when (contradiction? #'tst)
            #:with opt
            (begin (log-optimization "dead then branch" #'thn)
-                  #`(begin (void #,((optimize) #'tst))
-                           #,((optimize) #'els)))))
+                  #`(#%expression (begin #,((optimize) #'tst)
+                                         #,((optimize) #'els))))))