diff --git a/collects/mztake/annotator.ss b/collects/mztake/annotator.ss
index f260e2fc98..b36abb84d0 100644
--- a/collects/mztake/annotator.ss
+++ b/collects/mztake/annotator.ss
@@ -12,10 +12,6 @@
            )
   (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 26387b7fd1..57c475985b 100644
--- a/collects/mztake/marks.ss
+++ b/collects/mztake/marks.ss
@@ -6,8 +6,6 @@
            (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