From ef941a3b74b1abaa46b472d9387ca1ddd153b64d Mon Sep 17 00:00:00 2001
From: Anne van Kesteren <annevk@annevk.nl>
Date: Tue, 19 Nov 2024 14:55:19 +0100
Subject: [PATCH] Editorial: use the 16-bit unsigned integer definition in
 string

---
 infra.bs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/infra.bs b/infra.bs
index 4c14aed..c0f79bc 100644
--- a/infra.bs
+++ b/infra.bs
@@ -967,10 +967,10 @@ U+007A (z), inclusive.
 
 <h3 id=strings>Strings</h3>
 
-<p>A <dfn export lt="string|JavaScript string">string</dfn> is a sequence of unsigned 16-bit
-integers, also known as <dfn export lt="code unit">code units</dfn>. A <a>string</a> is also known
-as a <a id="javascript-string">JavaScript string</a>. <a>Strings</a> are denoted by double quotes
-and monospace font.
+<p>A <dfn export lt="string|JavaScript string">string</dfn> is a sequence of
+<a for=/>16-bit unsigned integers</a>, also known as <dfn export lt="code unit">code units</dfn>. A
+<a>string</a> is also known as a <a id="javascript-string">JavaScript string</a>.
+<a for=/>Strings</a> are denoted by double quotes and monospace font.
 
 <p class=example id=example-string-notation>"<code>Hello, world!</code>" is a string.