diff --git a/collects/redex/examples/cont-mark-transform/SL-syntax.rkt b/collects/redex/examples/cont-mark-transform/SL-syntax.rkt
index 8c1fad5977..b40fdff2b1 100644
--- a/collects/redex/examples/cont-mark-transform/SL-syntax.rkt
+++ b/collects/redex/examples/cont-mark-transform/SL-syntax.rkt
@@ -9,6 +9,8 @@
      (call/cc w))
   (v ....
      (κ (hide-hole E)))
+  (a ....
+     (κ (hide-hole E)))
   
   (D (w-c-m v v D)
      hole
diff --git a/collects/redex/examples/cont-mark-transform/TL-syntax.rkt b/collects/redex/examples/cont-mark-transform/TL-syntax.rkt
index bd036956e0..767bed49fb 100644
--- a/collects/redex/examples/cont-mark-transform/TL-syntax.rkt
+++ b/collects/redex/examples/cont-mark-transform/TL-syntax.rkt
@@ -13,7 +13,9 @@
      (abort e))
   
   (l [(K x ...) e])
-  (a w 
+  (a (λ (x ...) e)
+     σ
+     x
      (K a ...))
   (w v
      x)
@@ -28,3 +30,6 @@
      (Σ [σ ↦ v]))
   
   (K string))
+
+
+