diff --git a/spec.html b/spec.html
index 72f9d4cf9f..49fc06e54e 100644
--- a/spec.html
+++ b/spec.html
@@ -3018,7 +3018,7 @@ <h1>Await</h1>
 
         <emu-alg>
           1. Let _asyncContext_ be the running execution context.
-          1. Let _promise_ be ? PromiseResolve(%Promise%, &laquo; _value_ &raquo;).
+          1. Let _promise_ be ? PromiseResolve(%Promise%, _value_).
           1. Let _stepsFulfilled_ be the algorithm steps defined in <emu-xref href="#await-fulfilled" title></emu-xref>.
           1. Let _onFulfilled_ be CreateBuiltinFunction(_stepsFulfilled_, &laquo; [[AsyncContext]] &raquo;).
           1. Set _onFulfilled_.[[AsyncContext]] to _asyncContext_.
@@ -21723,7 +21723,7 @@ <h1>Instantiate ( ) Concrete Method</h1>
             1. Let _stack_ be a new empty List.
             1. Let _result_ be InnerModuleInstantiation(_module_, _stack_, 0).
             1. If _result_ is an abrupt completion, then
-              1. For each module _m_ in _stack_, do
+              1. For each Cyclic Module Record _m_ in _stack_, do
                 1. Assert: _m_.[[Status]] is `"instantiating"`.
                 1. Set _m_.[[Status]] to `"uninstantiated"`.
                 1. Set _m_.[[Environment]] to *undefined*.
@@ -21795,8 +21795,7 @@ <h1>Evaluate ( ) Concrete Method</h1>
             1. Let _stack_ be a new empty List.
             1. Let _result_ be InnerModuleEvaluation(_module_, _stack_, 0).
             1. If _result_ is an abrupt completion, then
-              1. For each module _m_ in _stack_, do
-                1. Assert: _m_ is a Cyclic Module Record.
+              1. For each Cyclic Module Record _m_ in _stack_, do
                 1. Assert: _m_.[[Status]] is `"evaluating"`.
                 1. Set _m_.[[Status]] to `"evaluated"`.
                 1. Set _m_.[[EvaluationError]] to _result_.
@@ -31980,7 +31979,7 @@ <h1>Array.prototype.findIndex ( _predicate_ [ , _thisArg_ ] )</h1>
       </emu-clause>
 
       <emu-clause id="sec-array.prototype.flat">
-        <h1>Array.prototype.flat( [ _depth_ ] )</h1>
+        <h1>Array.prototype.flat ( [ _depth_ ] )</h1>
         <p>When the `flat` method is called with zero or one arguments, the following steps are taken:</p>
         <emu-alg>
           1. Let _O_ be ? ToObject(*this* value).
@@ -31994,7 +31993,7 @@ <h1>Array.prototype.flat( [ _depth_ ] )</h1>
         </emu-alg>
 
         <emu-clause id="sec-flattenintoarray" aoid="FlattenIntoArray">
-          <h1>FlattenIntoArray(_target_, _source_, _sourceLen_, _start_, _depth_ [ , _mapperFunction_, _thisArg_ ])</h1>
+          <h1>FlattenIntoArray ( _target_, _source_, _sourceLen_, _start_, _depth_ [ , _mapperFunction_, _thisArg_ ] )</h1>
           <emu-alg>
             1. Let _targetIndex_ be _start_.
             1. Let _sourceIndex_ be 0.
@@ -32005,7 +32004,7 @@ <h1>FlattenIntoArray(_target_, _source_, _sourceLen_, _start_, _depth_ [ , _mapp
                 1. Let _element_ be ? Get(_source_, _P_).
                 1. If _mapperFunction_ is present, then
                   1. Assert: _thisArg_ is present.
-                  1. Set _element_ to ? Call(_mapperFunction_, _thisArg_ , &laquo; _element_, _sourceIndex_, _source_ &raquo;).
+                  1. Set _element_ to ? Call(_mapperFunction_, _thisArg_, &laquo; _element_, _sourceIndex_, _source_ &raquo;).
                 1. Let _shouldFlatten_ be *false*.
                 1. If _depth_ &gt; 0, then
                   1. Set _shouldFlatten_ to ? IsArray(_element_).
@@ -32013,7 +32012,7 @@ <h1>FlattenIntoArray(_target_, _source_, _sourceLen_, _start_, _depth_ [ , _mapp
                   1. Let _elementLen_ be ? ToLength(? Get(_element_, `"length"`)).
                   1. Set _targetIndex_ to ? FlattenIntoArray(_target_, _element_, _elementLen_, _targetIndex_, _depth_ - 1).
                 1. Else,
-                  1. If _targetIndex_ &ge; 2<sup>53</sup>-1, throw a *TypeError* exception.
+                  1. If _targetIndex_ &ge; 2<sup>53</sup> - 1, throw a *TypeError* exception.
                   1. Perform ? CreateDataPropertyOrThrow(_target_, ! ToString(_targetIndex_), _element_).
                   1. Increase _targetIndex_ by 1.
               1. Increase _sourceIndex_ by 1.
@@ -37099,7 +37098,7 @@ <h1>AsyncFromSyncIteratorContinuation ( _result_, _promiseCapability_ )</h1>
           1. IfAbruptRejectPromise(_done_, _promiseCapability_).
           1. Let _value_ be IteratorValue(_result_).
           1. IfAbruptRejectPromise(_value_, _promiseCapability_).
-          1. Let _valueWrapper_ be PromiseResolve(%Promise%, &laquo; _value_ &raquo;).
+          1. Let _valueWrapper_ be PromiseResolve(%Promise%, _value_).
           1. IfAbruptRejectPromise(_valueWrapper_, _promiseCapability_).
           1. Let _steps_ be the algorithm steps defined in <emu-xref href="#sec-async-from-sync-iterator-value-unwrap-functions" title></emu-xref>.
           1. Let _onFulfilled_ be CreateBuiltinFunction(_steps_, &laquo; [[Done]] &raquo;).
@@ -37724,7 +37723,7 @@ <h1>AsyncGeneratorResumeNext ( _generator_ )</h1>
             1. If _state_ is `"completed"`, then
               1. If _completion_.[[Type]] is ~return~, then
                 1. Set _generator_.[[AsyncGeneratorState]] to `"awaiting-return"`.
-                1. Let _promise_ be ? PromiseResolve(%Promise%, &laquo; _completion_.[[Value]] &raquo;).
+                1. Let _promise_ be ? PromiseResolve(%Promise%, _completion_.[[Value]]).
                 1. Let _stepsFulfilled_ be the algorithm steps defined in <emu-xref href="#async-generator-resume-next-return-processor-fulfilled" title></emu-xref>.
                 1. Let _onFulfilled_ be CreateBuiltinFunction(_stepsFulfilled_, &laquo; [[Generator]] &raquo;).
                 1. Set _onFulfilled_.[[Generator]] to _generator_.