From e0dfa9fb8709ae0fa6308ff263fc6e05f3976ad5 Mon Sep 17 00:00:00 2001
From: "L. David Baron" <dbaron@dbaron.org>
Date: Thu, 28 Sep 2023 17:01:37 -0400
Subject: [PATCH] Fix review comments from @annevk.

---
 source | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/source b/source
index 1fb8e62369e..ab4b8e4d0e2 100644
--- a/source
+++ b/source
@@ -13557,8 +13557,8 @@ Transport Protocol">HTTP&lt;/abbr> today.&lt;/p></code></pre> <!-- DO NOT REWRAP
      <li><p>Let <var>result</var> be the <span>auto directionality</span> of
      <var>element</var>.</p></li>
 
-     <li><p>If <var>result</var> is null, then set <var>result</var> to the <span>parent
-     directionality</span> of <var>element</var>.</p></li>
+     <li><p>If <var>result</var> is null, then return the <span>parent directionality</span> of
+     <var>element</var>.</p></li>
 
      <li><p>Return <var>result</var>.</p></li>
     </ol>
@@ -13624,9 +13624,16 @@ Transport Protocol">HTTP&lt;/abbr> today.&lt;/p></code></pre> <!-- DO NOT REWRAP
        <li><p>If <var>child</var> is a <code>Text</code> node, then set <var>childDirection</var> to
        the <span>text node directionality</span> of <var>child</var>.</p></li>
 
-       <li><p>If <var>child</var> is an <code>Element</code> node, then set
-       <var>childDirection</var> to the <span>auto directionality</span> of
-       <var>child</var>.</p></li>
+       <li>
+        <p>Otherwise:</p>
+
+        <ol>
+         <li><p><span>Assert</span>: <var>child</var> is an <code>Element</code> node.</p></li>
+
+         <li><p>Set <var>childDirection</var> to the <span>auto directionality</span> of
+         <var>child</var>.</p></li>
+        </ol>
+       </li>
 
        <li><p>If <var>childDirection</var> is not null, then return
        <var>childDirection</var>.</p></li>