diff --git a/collects/redex/private/rewrite-side-conditions.rkt b/collects/redex/private/rewrite-side-conditions.rkt
index 8344b22960..46bdc348f6 100644
--- a/collects/redex/private/rewrite-side-conditions.rkt
+++ b/collects/redex/private/rewrite-side-conditions.rkt
@@ -87,8 +87,6 @@
       (when the-use
         (define old (syntax-property void-stx 'disappeared-use))
         (set! void-stx
-              void-stx ;; disable this for now.
-              #;
               (syntax-property void-stx
                                'disappeared-use
                                (if old (cons the-use old) the-use)))))
diff --git a/collects/redex/private/term-fn.rkt b/collects/redex/private/term-fn.rkt
index b3680fb1ca..8b3cd3256f 100644
--- a/collects/redex/private/term-fn.rkt
+++ b/collects/redex/private/term-fn.rkt
@@ -103,9 +103,7 @@
                             ;; shorten the span so it covers only up to the underscore
                             (string-length (symbol->string nt))))
         (define the-id (datum->syntax table-entry nt the-srcloc id-stx))
-        (syntax-property the-id 'syncheck-original #t)
-        ;; disable this for now
-        #f]
+        (syntax-property the-id 'original-for-check-syntax #t)]
        [else
         #f])]
     [else