diff --git a/index.html b/index.html
index 0daf65974..c1609b7b2 100644
--- a/index.html
+++ b/index.html
@@ -831,11 +831,12 @@ <h3>
           application, it SHOULD treat that manifest as a description of a
           distinct application, even if it is served from the same URL as that
           of another application. When the user agent sees a manifest where
-          |manifest|["id"] [=url/equal|equals=] the [=identity=] of an
-          already-installed application, it SHOULD be used as a signal that
-          this manifest is a replacement for the already-installed
-          application's manifest, and not a distinct application, even if it is
-          served from a different URL than the one seen previously.
+          |manifest|["id"] is [=url/equal=] with [=URL serializer/exclude
+          fragment|exclude fragment true=] to the [=identity=] of an
+          already-installed application, it SHOULD be used as a signal that this
+          manifest is a replacement for the already-installed application's
+          manifest, and not a distinct application, even if it is served from a
+          different URL than the one seen previously.
         </p>
         <p class="note">
           The [=identity=] can be used by a service that collects lists of web
@@ -1282,6 +1283,13 @@ <h3>
             <li>[=Process the `id` member=] passing |json|, |manifest| and
             |document URL|.
             </li>
+            <li>
+              If the [=document=]'s [=document|processed
+              manifest=] is not null, and [=document=]'s [=document|processed
+              manifest=]'s id is not
+              [=URL/equal=] with [=URL serializer/exclude fragment|exclude fragment true=] to |manifest|["id"],
+              return.
+            </li>
             <li>[=Process the `scope` member=] passing |json|, |manifest|, and
             |manifest URL|.
             </li>
@@ -1422,13 +1430,6 @@ <h3>
             such fields are to be be updated to avoid web applications being
             installed and silently changed to appear as a different one.
           </p>
-          <p>
-            When the user agent fetches a manifest as part of an update check,
-            it MUST [=url/equal|compare=] the fetched processed manifest's
-            [=manifest/identity=] with the identity of the app being updated. If
-            it is not equal, the user agent MUST NOT update the installed
-            application's manifest. 
-          </p>
         </section>
       </section>
     </section>