diff --git a/spec.bs b/spec.bs
index ece6f53..f6b11bc 100644
--- a/spec.bs
+++ b/spec.bs
@@ -3419,6 +3419,11 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le
 <div algorithm=navigate>
   Modify [[HTML]]'s [=navigate=] algorithm to include an extra parameter: an optional [=string=]
   <dfn for=navigate>sharedStorageContext</dfn> (default null).
+  
+  Add a step after step 5 of [[HTML]]'s [=navigate=] algorithm that reads:
+  
+  6. If the result of running [=determine if a navigable has revoked network for itself=] given <var
+     ignore>sourceDocument</var>'s [=node navigable=] is true, then return.
 
   Modify step 13 of [[HTML]]'s [=navigate=] algorithm ("If all of the following are true:") to
   include the following condition: