diff --git a/collects/mztake/debugger-model.ss b/collects/mztake/debugger-model.ss
index 3dde65ec30..9784c744f5 100644
--- a/collects/mztake/debugger-model.ss
+++ b/collects/mztake/debugger-model.ss
@@ -2,7 +2,7 @@
   (require (lib "unit.ss")
            (lib "mred.ss" "mred")
            (lib "marks.ss" "stepper/private")
-           "../debugger-annotate.ss"
+           "debugger-annotate.ss"
            "mztake-structs.ss"
            "private/load-annotator.ss"
            "private/more-useful-code.ss")