diff --git a/collects/stepper/private/annotate.rkt b/collects/stepper/private/annotate.rkt
index cf3e89998c..6c61372cd9 100644
--- a/collects/stepper/private/annotate.rkt
+++ b/collects/stepper/private/annotate.rkt
@@ -150,7 +150,7 @@
                  stx
                  #f
                  ; cond :
-                 [(#%if test (#%let () then) else-stx)
+                 [(if test (let-values () then) else-stx)
                   (let ([origin (syntax-property stx 'origin)]
                         [rebuild-if
                          (lambda (new-cond-test)