From b38a24c80a2652e8c57e4d1c16efdb3064815029 Mon Sep 17 00:00:00 2001
From: Nikolay Vitkov <nvitkov@chromium.org>
Date: Mon, 6 Nov 2023 13:03:39 +0100
Subject: [PATCH] chore: update steps

---
 index.bs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.bs b/index.bs
index 4d83b0ef..25266e00 100644
--- a/index.bs
+++ b/index.bs
@@ -7395,10 +7395,10 @@ To <dfn>set internal ids if needed</dfn> given |serialization internal map|,
     1. If |previously serialized remote value| does not have a field
        <code>internalId</code>, run the following steps:
 
-      1. Let |internal id| be a unique across the <code>internalId</code> fields of
-         the values of |serialization internal map| integer.
+      1. Let |internal id| be the string representation of a [[!RFC4122|UUID]] 
+         based on truly random, or pseudo-random numbers.
 
-       1. Set the <code>internalId</code> field of
+      1. Set the <code>internalId</code> field of
           |previously serialized remote value| to |internal id|.
 
     1. Set the <code>internalId</code> field of |remote value| to a field