diff --git a/spec.html b/spec.html
index 3912d02f49..09aa5ac7dc 100644
--- a/spec.html
+++ b/spec.html
@@ -12630,7 +12630,7 @@
Syntax
`...` AssignmentExpression[+In, ?Yield, ?Await]
-
+
Runtime Semantics: ArrayAccumulation
With parameters _array_ and _nextIndex_.
Elision : `,`
@@ -29715,7 +29715,7 @@ String.prototype.matchAll ( _regexp_ )
1. Let _O_ be ? RequireObjectCoercible(*this* value).
1. If _regexp_ is neither *undefined* nor *null*, then
1. Let _isRegExp_ be ? IsRegExp(_regexp_).
- 1. If _isRegExp_ is true, then
+ 1. If _isRegExp_ is *true*, then
1. Let _flags_ be ? Get(_regexp_, *"flags"*).
1. Perform ? RequireObjectCoercible(_flags_).
1. If ? ToString(_flags_) does not contain *"g"*, throw a *TypeError* exception.
@@ -36522,7 +36522,7 @@ NumericToRawBytes ( _type_, _value_, _isLittleEndian_ )
1. Let _n_ be the Element Size specified in for Element Type _type_.
1. Let _convOp_ be the abstract operation named in the Conversion Operation column in for Element Type _type_.
1. Let _intValue_ be _convOp_(_value_) treated as a mathematical value, whether the result is a BigInt or Number.
- 1. If _intValue_ ≥ 0, then
+ 1. If _intValue_ ≥ 0ℝ, then
1. Let _rawBytes_ be a List containing the _n_-byte binary encoding of _intValue_. If _isLittleEndian_ is *false*, the bytes are ordered in big endian order. Otherwise, the bytes are ordered in little endian order.
1. Else,
1. Let _rawBytes_ be a List containing the _n_-byte binary 2's complement encoding of _intValue_. If _isLittleEndian_ is *false*, the bytes are ordered in big endian order. Otherwise, the bytes are ordered in little endian order.
@@ -37306,7 +37306,7 @@ EnterCriticalSection ( _WL_ )
1. Let _enterEvent_ be a new Synchronize event.
1. Append _enterEvent_ to _entererEventList_.
1. Let _leaveEvent_ be the Synchronize event in _WL_.
- 1. Append (_leaveEvent_, _enterEvent_) to _eventRecords_.[[AgentSynchronizesWith]].
+ 1. Append (_leaveEvent_, _enterEvent_) to _eventsRecord_.[[AgentSynchronizesWith]].
EnterCriticalSection has contention when an agent attempting to enter the critical section must wait for another agent to leave it. When there is no contention, FIFO order of EnterCriticalSection calls is observable. When there is contention, an implementation may choose an arbitrary order but may not cause an agent to wait indefinitely.
@@ -40724,7 +40724,7 @@ Candidate Executions
An empty candidate execution is a candidate execution Record whose fields are empty Lists and Relations.
-
+
Abstract Operations for the Memory Model
EventSet ( _execution_ )
@@ -41397,6 +41397,7 @@ Scripts and Modules
+