diff --git a/spec.html b/spec.html
index 74df5981ad..09c356826b 100644
--- a/spec.html
+++ b/spec.html
@@ -3924,27 +3924,29 @@
Await
-
- NormalCompletion
- The abstract operation NormalCompletion with a single _argument_, such as:
-
- 1. Return NormalCompletion(_argument_).
-
- Is a shorthand that is defined as follows:
+
+
+ NormalCompletion (
+ _value_: unknown,
+ )
+
+
- 1. Return Completion { [[Type]]: ~normal~, [[Value]]: _argument_, [[Target]]: ~empty~ }.
+ 1. Return Completion { [[Type]]: ~normal~, [[Value]]: _value_, [[Target]]: ~empty~ }.
-
- ThrowCompletion
- The abstract operation ThrowCompletion with a single _argument_, such as:
-
- 1. Return ThrowCompletion(_argument_).
-
- Is a shorthand that is defined as follows:
+
+
+ ThrowCompletion (
+ _value_: an ECMAScript language value,
+ )
+
+
- 1. Return Completion { [[Type]]: ~throw~, [[Value]]: _argument_, [[Target]]: ~empty~ }.
+ 1. Return Completion { [[Type]]: ~throw~, [[Value]]: _value_, [[Target]]: ~empty~ }.