diff --git a/spec.html b/spec.html
index 90d2015448..012af079ff 100644
--- a/spec.html
+++ b/spec.html
@@ -47722,6 +47722,7 @@ <h1>Promise ( _executor_ )</h1>
           1. If IsCallable(_executor_) is *false*, throw a *TypeError* exception.
           1. Let _promise_ be ? OrdinaryCreateFromConstructor(NewTarget, *"%Promise.prototype%"*, « [[PromiseState]], [[PromiseResult]], [[PromiseFulfillReactions]], [[PromiseRejectReactions]], [[PromiseIsHandled]] »).
           1. Set _promise_.[[PromiseState]] to ~pending~.
+          1. Set _promise_.[[PromiseResult]] to ~empty~.
           1. Set _promise_.[[PromiseFulfillReactions]] to a new empty List.
           1. Set _promise_.[[PromiseRejectReactions]] to a new empty List.
           1. Set _promise_.[[PromiseIsHandled]] to *false*.
@@ -48352,10 +48353,10 @@ <h1>Properties of Promise Instances</h1>
               [[PromiseResult]]
             </td>
             <td>
-              an ECMAScript language value
+              an ECMAScript language value or ~empty~
             </td>
             <td>
-              The value with which the promise has been fulfilled or rejected, if any. Only meaningful if [[PromiseState]] is not ~pending~.
+              The value with which the promise has been fulfilled or rejected, if any. ~empty~ if and only if the [[PromiseState]] is ~pending~.
             </td>
           </tr>
           <tr>