diff --git a/collects/stepper/private/xml-box.rkt b/collects/stepper/private/xml-box.rkt
index c582bae6f0..ac4f4ef57b 100644
--- a/collects/stepper/private/xml-box.rkt
+++ b/collects/stepper/private/xml-box.rkt
@@ -1,6 +1,7 @@
 (module xml-box scheme/base
   (require mzlib/contract
            "shared.rkt"
+           "syntax-property.rkt"
            (prefix-in kernel: syntax/kerncase))
   
   (provide/contract [rewrite-xml-box (syntax?                  ; stx to rewrite