diff --git a/turnstile/rackunit-typechecking.rkt b/turnstile/rackunit-typechecking.rkt
index ca27673..e25c39a 100644
--- a/turnstile/rackunit-typechecking.rkt
+++ b/turnstile/rackunit-typechecking.rkt
@@ -1,4 +1,4 @@
 #lang racket/base
-;; extends rackunit with type-checking forms
-(require rackunit "examples/tests/rackunit-typechecking.rkt")
-(provide (all-from-out rackunit "examples/tests/rackunit-typechecking.rkt"))
+;; extends some rackunit forms to test type-checking
+(require "examples/tests/rackunit-typechecking.rkt")
+(provide (all-from-out "examples/tests/rackunit-typechecking.rkt"))