diff --git a/collects/mztake/annotator.ss b/collects/mztake/annotator.ss
index 6efd036108..fa21871e30 100644
--- a/collects/mztake/annotator.ss
+++ b/collects/mztake/annotator.ss
@@ -12,6 +12,10 @@
            )
   (provide annotate-stx annotate-for-single-stepping)
 
+  (module-identifier=? #'eval/annotations
+		       (datum->syntax-object #f 'eval/annotations))
+
+
   (define (arglist-bindings arglist-stx)
     (syntax-case arglist-stx ()
       [var
diff --git a/collects/mztake/marks.ss b/collects/mztake/marks.ss
index 57c475985b..26387b7fd1 100644
--- a/collects/mztake/marks.ss
+++ b/collects/mztake/marks.ss
@@ -6,6 +6,8 @@
            (lib "shared.ss" "stepper" "private"))
 
   (define-struct full-mark-struct (module-name source label bindings values))
+  (module-identifier=? #'skipto-annotate
+		       (datum->syntax-object #f 'skipto-annotate))
 
   ; CONTRACTS
   (define mark? (-> ; no args