Revise if clause

source

@@ -100359,18 +100359,18 @@ location.href = '#foo';</code></pre>
       <p>Otherwise, if all the following are true:</p>
 
       <ul class="brief">
-       <li><var>navigationType</var> is "<code
-       data-x="dom-NavigationType-replace">replace</code>"</li>
+       <li><p><var>navigationType</var> is "<code
+       data-x="dom-NavigationType-replace">replace</code>";</p></li>
 
-       <li><var>previousEntryForActivation</var>'s
+       <li><p><var>previousEntryForActivation</var>'s
        <span data-x="she-document-state">document state</span>'s <span
        data-x="document-state-origin">origin</span> is <span>same origin</span> with
-       <var>document</var>'s <span data-x="concept-document-origin">origin</span></li>
+       <var>document</var>'s <span data-x="concept-document-origin">origin</span>; and</p></li>
 
-       <li><var>previousEntryForActivation</var>'s
+       <li><p><var>previousEntryForActivation</var>'s
        <span data-x="she-document-state">document state</span>'s
-       <span data-x="she-document">document</span> is not the <span data-x="is initial
-       about:blank">initial <code>about:blank</code></span> <code>Document</code></li>
+       <span data-x="she-document">document</span>'s <span data-x="is initial
+       about:blank">initial <code>about:blank</code></span> is false,</p></li>
       </ul>
 
       <p>then set <var>activation</var>'s <span data-x="nav-activation-old-entry">old entry</span>