diff --git a/dom.bs b/dom.bs
index e3b901d6..9eb9304c 100644
--- a/dom.bs
+++ b/dom.bs
@@ -6379,8 +6379,8 @@ given a <var>document</var>, <var>localName</var>, <var>namespace</var>, and opt
  <li><p><a>Verify and set attribute value</a> <var>value</var> for <var>attribute</var>, with
  <var>attribute</var>'s <a for=Attr>element</a>.
 
- <li><p>If <var>attribute</var>'s <a for=Attr>element</a> <a lt="has an attribute">has</a>
- an <a>attribute</a> <var>attribute</var>, then <a>handle attribute changes</a> for
+ <li><p>If <var>attribute</var>'s <a for=Attr>element</a>
+ <a lt="has an attribute">has an attribute</a>, then <a>handle attribute changes</a> for
  <var>attribute</var> with <var>attribute</var>'s <a for=Attr>element</a>, <var>oldValue</var>, and
  <var>value</var>.
 
@@ -6388,15 +6388,16 @@ given a <var>document</var>, <var>localName</var>, <var>namespace</var>, and opt
 </ol>
 
 <p>To <dfn export id=concept-element-attributes-append lt="append an attribute">append</dfn> an
-<a>attribute</a> <var>attribute</var> to an <a for=/>element</a> <var>element</var>, with optional
-boolean <var>validate</var> (default true), run these steps:
+<a>attribute</a> <var>attribute</var> to an <a for=/>element</a> <var>element</var>, with an
+optional boolean <var>validate</var> (default true):
 
 <ol>
  <li>
-  <p>If <var>validate</var> is true, then:
+  <p>If <var>validate</var> is true:
+
   <ol>
    <li><p><a>Verify and set attribute value</a>
-   <var>attribute</var>'s <a for="Attr">value</a> for <var>attribute</var> with <var>element</var>.
+   <var>attribute</var>'s <a for="Attr">value</a> for <var>attribute</var>, with <var>element</var>.
 
    <li><p>If <var>element</var> <a lt="has an attribute">has</a> an <a>attribute</a>
    <var>attribute</var>, then throw an "{{InvalidStateError!!exception}}" {{DOMException}}.
@@ -6431,7 +6432,7 @@ boolean <var>validate</var> (default true), run these steps:
 
 <ol>
  <li><p><a>Verify and set attribute value</a> <var>newAttr</var>'s <a for="Attr">value</a> for
- <var>newAttr</var> with <var>oldAttr</var>'s <a for=Attr>element</a>.
+ <var>newAttr</var>, with <var>oldAttr</var>'s <a for=Attr>element</a>.
 
  <li><p><a for=list>Replace</a> <var>oldAttr</var> by <var>newAttr</var> in <var>oldAttr</var>'s
  <a for=Attr>element</a>'s <a for=Element>attribute list</a>.
@@ -6446,16 +6447,16 @@ boolean <var>validate</var> (default true), run these steps:
  <a for=Attr>value</a>.
 </ol>
 
-<p>To <dfn id=concept-element-attributes-verify-and-set-value>verify and set attribute value</dfn>
+<p>To <dfn>verify and set attribute value</dfn>
 {{TrustedType}} or string <var>value</var> for an <a>attribute</a> <var>attribute</var>, with
 <a for=/>element</a> <var>element</var>:
 
 <ol>
- <li><p>Let <var>validValue</var> be the result of calling
+ <li><p>Let <var>verifiedValue</var> be the result of calling
  <a abstract-op>get Trusted Types-compliant attribute value</a> for <var>attribute</var>, with
  <var>element</var>, <var>value</var>. [[!TRUSTED-TYPES]]
 
- <li><p>Set <var>attribute</var>'s <a for=Attr>value</a> to <var>validValue</var>.
+ <li><p>Set <var>attribute</var>'s <a for=Attr>value</a> to <var>verifiedValue</var>.
 </ol>
 
 <hr>