diff --git a/collects/redex/private/rg.ss b/collects/redex/private/rg.ss
index 04df780210..b9817cf770 100644
--- a/collects/redex/private/rg.ss
+++ b/collects/redex/private/rg.ss
@@ -750,7 +750,7 @@
             #t))))
 
 (define-struct (exn:fail:redex:test exn:fail:redex) (source term))
-(define-struct counterexample (term))
+(define-struct counterexample (term) #:transparent)
 
 (define (check generator property attempts retries show
                #:source [source #f]
diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index 9d062200fb..7fc37e9828 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -1240,7 +1240,7 @@ term that does not match @scheme[pattern].}
           #:attempts 3
           #:source R))]
 
-@defstruct[counterexample ([term any/c])]{
+@defstruct[counterexample ([term any/c]) #:inspector #f]{
 Produced by @scheme[redex-check], @scheme[check-reduction-relation], and 
 @scheme[check-metafunction] when testing falsifies a property.}
 
diff --git a/collects/redex/tests/rg-test.ss b/collects/redex/tests/rg-test.ss
index 12c8571c1b..b233998dae 100644
--- a/collects/redex/tests/rg-test.ss
+++ b/collects/redex/tests/rg-test.ss
@@ -542,7 +542,8 @@
     (n number))
   
   (test (redex-check lang d #t #:attempts 1 #:print? (not #t)) #t)
-  (test (counterexample-term (redex-check lang d #f #:print? #f)) 5)
+  (test (redex-check lang d #f #:print? #f)
+        (make-counterexample 5))
   (let ([exn (with-handlers ([exn:fail:redex:test? values])
                (redex-check lang d (error 'boom ":(") #:print? #f)
                'not-an-exn)])
@@ -602,11 +603,10 @@
                        #:source R
                        #:print? (not #t))
           #t)
-    (test (counterexample-term
-           (redex-check lang any (= (term any) 1)
+    (test (redex-check lang any (= (term any) 1)
                         #:source R
-                        #:print? #f))
-          2))
+                        #:print? #f)
+          (make-counterexample 2)))
   
   (let ()
     (define-metafunction lang
@@ -623,11 +623,10 @@
                        #:source mf
                        #:print? (not #t))
           #t)
-    (test (counterexample-term
-           (redex-check lang any (= (car (term any)) 42)
+    (test (redex-check lang any (= (car (term any)) 42)
                         #:source mf
-                        #:print? #f))
-          '(0)))
+                        #:print? #f)
+          (make-counterexample '(0))))
   
   (let ()
     (define-metafunction lang