diff --git a/spec.html b/spec.html
index 3bbbff5020..719db1d437 100644
--- a/spec.html
+++ b/spec.html
@@ -7587,8 +7587,7 @@ <h1>Static Semantics: IsFunctionDefinition</h1>
           `async` `function` `*` BindingIdentifier? `(` FormalParameters `)` `{` AsyncGeneratorBody `}`
 
         AsyncFunctionExpression :
-          `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
-          `async` `function` BindingIdentifier `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+          `async` `function` BindingIdentifier? `(` FormalParameters `)` `{` AsyncFunctionBody `}`
 
         ClassExpression : `class` BindingIdentifier? ClassTail
       </emu-grammar>
@@ -7746,8 +7745,7 @@ <h1>Static Semantics: Contains</h1>
           `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
 
         AsyncFunctionExpression :
-          `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
-          `async` `function` BindingIdentifier `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+          `async` `function` BindingIdentifier? `(` FormalParameters `)` `{` AsyncFunctionBody `}`
       </emu-grammar>
       <emu-alg>
         1. Return *false*.
@@ -20839,8 +20837,7 @@ <h2>Syntax</h2>
         [+Default] `async` [no LineTerminator here] `function` `(` FormalParameters[~Yield, +Await] `)` `{` AsyncFunctionBody `}`
 
       AsyncFunctionExpression :
-        `async` [no LineTerminator here] `function` `(` FormalParameters[~Yield, +Await] `)` `{` AsyncFunctionBody `}`
-        `async` [no LineTerminator here] `function` BindingIdentifier[~Yield, +Await] `(` FormalParameters[~Yield, +Await] `)` `{` AsyncFunctionBody `}`
+        `async` [no LineTerminator here] `function` BindingIdentifier[~Yield, +Await]? `(` FormalParameters[~Yield, +Await] `)` `{` AsyncFunctionBody `}`
 
       AsyncMethod[Yield, Await] :
         `async` [no LineTerminator here] PropertyName[?Yield, ?Await] `(` UniqueFormalParameters[~Yield, +Await] `)` `{` AsyncFunctionBody `}`
@@ -20886,8 +20883,7 @@ <h1>Static Semantics: Early Errors</h1>
           `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
 
         AsyncFunctionExpression :
-          `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
-          `async` `function` BindingIdentifier `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+          `async` `function` BindingIdentifier? `(` FormalParameters `)` `{` AsyncFunctionBody `}`
       </emu-grammar>
       <ul>
         <li>It is a Syntax Error if FunctionBodyContainsUseStrict of |AsyncFunctionBody| is *true* and IsSimpleParameterList of |FormalParameters| is *false*.</li>
@@ -20993,8 +20989,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       </emu-alg>
       <emu-grammar>
         AsyncFunctionExpression :
-          `async` `function` BindingIdentifier `(` FormalParameters `)` `{` AsyncFunctionBody `}`
-          `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+          `async` `function` BindingIdentifier? `(` FormalParameters `)` `{` AsyncFunctionBody `}`
       </emu-grammar>
       <emu-alg>
         1. Return InstantiateAsyncFunctionExpression of |AsyncFunctionExpression|.