diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index d55410a50c..e34be6840f 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -58,7 +58,7 @@
 @(define redex-eval (make-base-eval))
 @(interaction-eval #:eval redex-eval (require redex/reduction-semantics))
 
-@title{@bold{Redex}: Debugging Operational Semantics}
+@title{@bold{Redex}: Practical Semantics Engineering}
 
 @author["Robert Bruce Findler" "Casey Klein"]