Fix "then if" statement in validation algorithm.

index.html

@@ -805,10 +805,10 @@ <h3>Proofs</h3>
 
           <dt><dfn class="lint-ignore">proofValue</dfn></dt>
           <dd>
-A string value that expresses base-encoded binary data necessary to verify the 
+A string value that expresses base-encoded binary data necessary to verify the
 digital proof using the `verificationMethod` specified. The value MUST use a
 header and encoding as described in Section
-<a data-cite="CONTROLLER-DOCUMENT#multibase-0">2.4 Multibase</a> of the 
+<a data-cite="CONTROLLER-DOCUMENT#multibase-0">2.4 Multibase</a> of the
 [[[CONTROLLER-DOCUMENT]]] specification to express the binary data.
 The contents of this value are determined by a specific cryptosuite and set
 to the <em>proof value</em> generated by the <a href="#add-proof">Add Proof Algorithm</a>
@@ -2343,8 +2343,8 @@ <h3>Context Validation</h3>
 which might be undefined.
           </li>
           <li>
-If |contextValue| does not deeply equal |expectedContext|, then if any subtree in
-|result|.|document| contains an `@context` property or any URI in
+If |contextValue| does not deeply equal |expectedContext|, any subtree in
+|result|.|document| contains an `@context` property, or any URI in
 |contextValue| dereferences to a JSON-LD Context file that does not match a
 known good value or cryptographic hash, then perform the applicable action:
             <ol class="algorithm">