diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index a6b5bdd754..e67cdb9cc2 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -601,7 +601,7 @@ all non-GUI portions of Redex) and also exported by
                (extras name
                        (fresh fresh-clause ...)
                        (side-condition scheme-expression ...)
-                       (where tl-pat scheme-expression))
+                       (where tl-pat #, @|tttterm|))
                (fresh-clause var ((var1 ...) (var2 ...))))]{
 
 Defines a reduction relation casewise, one case for each of the