diff --git a/proposals/continuations/Overview.md b/proposals/continuations/Overview.md
index 14c84d46b4..04a9a8e37f 100644
--- a/proposals/continuations/Overview.md
+++ b/proposals/continuations/Overview.md
@@ -39,19 +39,19 @@ Based on [typed reference proposal](https://github.com/WebAssembly/function-refe
     - and `(label $l : [te1'* (ref null? $ct')])*`
     - and `([te1*] <: [te1'*])*`
     - and `($ct' = cont $ft')*`
-    - and `$ft' = [t1'*] -> [t2'*]`
+    - and `($ft' = [t1'*] -> [t2'*])*`
     - and `([te2*] -> [t2*] <: [t1'*] -> [t2'*])*`
 
-* `resume_throw <typeidx> <tagidx> (on <tagidx> <labelidx>)` aborts a continuation
-  - `resume_throw $ct $e (on $t $l): [te* (ref null? $ct)] -> [t2*]`
-    - iff `(on $e : [te*] -> [])`
+* `resume_throw <typeidx> <tagidx> (on <tagidx> <labelidx>)*` aborts a continuation
+  - `resume_throw $ct $e (on $t $l)* : [te* (ref null? $ct)] -> [t2*]`
+    - iff `(tag $e : [te*] -> [])`
     - and `$ct = cont $ft`
     - and `$ft = [t1*] -> [t2*]`
     - and `(on $t : [te1*] -> [te2*])*`
     - and `(label $l : [te1'* (ref null? $ct')])*`
     - and `([te1*] <: [te1'*])*`
     - and `($ct' = cont $ft')*`
-    - and `$ft' = [t1'*] -> [t2'*]`
+    - and `($ft' = [t1'*] -> [t2'*])*`
     - and `([te2*] -> [t2*] <: [t1'*] -> [t2'*])*`
 
 * `barrier <blocktype> <instr>* end` blocks suspension