diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss
index 6b33048507..8c0de2ed62 100644
--- a/collects/redex/private/reduction-semantics.ss
+++ b/collects/redex/private/reduction-semantics.ss
@@ -1623,8 +1623,8 @@
   (unless (pred arg)
     (inc-failures)
     (print-failed srcinfo)
-    (fprintf (current-error-port) "  ~v\ndid not elicit ~v from ~v\n" 
-             arg #t pred)))
+    (fprintf (current-error-port) "  ~v does not hold for\n  ~v\n" 
+             pred arg)))
 
 (define-syntax (test-equal stx)
   (syntax-case stx ()