Review by jmdyck

Author: nicolo-ribaudo

spec.html

@@ -28666,6 +28666,7 @@ <h1>
             1. Let _realm_ be the current Realm Record.
             1. Let _setDefaultExport_ be a new Abstract Closure with parameters (_module_) that captures _defaultExport_ and performs the following steps when called:
               1. Perform SetSyntheticModuleExport(_module_, *"default"*, _defaultExport_).
+              1. Return NormalCompletion(~unused~).
             1. Return the Synthetic Module Record { [[Realm]]: _realm_, [[Environment]]: ~empty~, [[Namespace]]: ~empty~, [[HostDefined]]: *undefined*, [[ExportNames]]: « *"default"* », [[EvaluationSteps]]: _setDefaultExport_ }.
           </emu-alg>
         </emu-clause>
@@ -28760,7 +28761,7 @@ <h1>
           </emu-clause>
 
           <emu-clause id="sec-smr-Link" type="concrete method">
-            <h1>Link ( ): ~unused~</h1>
+            <h1>Link ( ): a normal completion containing ~unused~</h1>
             <dl class="header">
               <dt>for</dt>
               <dd>a Synthetic Module Record _module_</dd>
@@ -28773,7 +28774,7 @@ <h1>Link ( ): ~unused~</h1>
               1. For each String _exportName_ of _module_.[[ExportNames]], do
                 1. Perform ! _env_.CreateMutableBinding(_exportName_, *false*).
                 1. Perform ! _env_.InitializeBinding(_exportName_, *undefined*).
-              1. Return ~unused~.
+              1. Return NormalCompletion(~unused~).
             </emu-alg>
           </emu-clause>