From c887ab237b20b390d48871dcbb3e51fa4745f1e7 Mon Sep 17 00:00:00 2001
From: Manu Sporny <msporny@digitalbazaar.com>
Date: Tue, 30 Jul 2024 10:55:38 -0400
Subject: [PATCH] Fix "then if" statement in validation algorithm.

---
 index.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/index.html b/index.html
index dc466c7..bae5bdd 100644
--- a/index.html
+++ b/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">