diff --git a/example.rkt b/example.rkt
index 57a29b7..d92aaaa 100644
--- a/example.rkt
+++ b/example.rkt
@@ -4,7 +4,7 @@
 ;; TODO: actually, I'm not sure this should work quite as well as it
 ;; seems to with check-equal?
 (require rackunit)
-(require (only-in "cur-redex.rkt" [#%app real-app]
+(require (only-in "redex-curnel.rkt" [#%app real-app]
                   [define real-define]))
 
 (define-syntax (#%app syn)
diff --git a/sugar.rkt b/sugar.rkt
index fab58f6..3fa05bf 100644
--- a/sugar.rkt
+++ b/sugar.rkt
@@ -9,7 +9,7 @@
          define-theorem
          qed)
 
-(require (only-in "cur-redex.rkt" [#%app real-app]
+(require (only-in "redex-curnel.rkt" [#%app real-app]
                   [define real-define]))
 
 (define-syntax (-> syn)