diff --git a/spec.html b/spec.html
index 91a62271b2..baf334dd37 100644
--- a/spec.html
+++ b/spec.html
@@ -31585,9 +31585,8 @@
Assertion
1. Return an internal Matcher closure that takes two arguments, a State _x_ and a Continuation _c_, and performs the following steps:
1. Let _e_ be _x_'s _endIndex_.
- 1. If _e_ is zero, call _c_(_x_) and return its result.
- 1. If _Multiline_ is *false*, return ~failure~.
- 1. If the character _Input_[_e_ - 1] is one of |LineTerminator|, call _c_(_x_) and return its result.
+ 1. If _e_ is zero, or if _Multiline_ is *true* and the character _Input_[_e_ - 1] is one of |LineTerminator|, then
+ 1. Call _c_(_x_) and return its result.
1. Return ~failure~.
@@ -31597,9 +31596,8 @@ Assertion
1. Return an internal Matcher closure that takes two arguments, a State _x_ and a Continuation _c_, and performs the following steps:
1. Let _e_ be _x_'s _endIndex_.
- 1. If _e_ is equal to _InputLength_, call _c_(_x_) and return its result.
- 1. If _Multiline_ is *false*, return ~failure~.
- 1. If the character _Input_[_e_] is one of |LineTerminator|, call _c_(_x_) and return its result.
+ 1. If _e_ is equal to _InputLength_, or if _Multiline_ is *true* and the character _Input_[_e_] is one of |LineTerminator|, then
+ 1. Call _c_(_x_) and return its result.
1. Return ~failure~.
The production Assertion :: `\` `b` evaluates as follows:
@@ -31608,8 +31606,8 @@ Assertion
1. Let _e_ be _x_'s _endIndex_.
1. Call IsWordChar(_e_ - 1) and let _a_ be the Boolean result.
1. Call IsWordChar(_e_) and let _b_ be the Boolean result.
- 1. If _a_ is *true* and _b_ is *false*, call _c_(_x_) and return its result.
- 1. If _a_ is *false* and _b_ is *true*, call _c_(_x_) and return its result.
+ 1. If _a_ is *true* and _b_ is *false*, or if _a_ is *false* and _b_ is *true*, then
+ 1. Call _c_(_x_) and return its result.
1. Return ~failure~.
The production Assertion :: `\` `B` evaluates as follows:
@@ -31618,9 +31616,9 @@ Assertion
1. Let _e_ be _x_'s _endIndex_.
1. Call IsWordChar(_e_ - 1) and let _a_ be the Boolean result.
1. Call IsWordChar(_e_) and let _b_ be the Boolean result.
- 1. If _a_ is *true* and _b_ is *false*, return ~failure~.
- 1. If _a_ is *false* and _b_ is *true*, return ~failure~.
- 1. Call _c_(_x_) and return its result.
+ 1. If _a_ is *true* and _b_ is *true*, or if _a_ is *false* and _b_ is *false*, then
+ 1. Call _c_(_x_) and return its result.
+ 1. Return ~failure~.
The production Assertion :: `(` `?` `=` Disjunction `)` evaluates as follows: