diff --git a/index.html b/index.html
index 9c424ff..88b5388 100644
--- a/index.html
+++ b/index.html
@@ -1474,10 +1474,10 @@ <h4>Verify Derived Proof (bbs-2023)</h4>
             </li>
             <li>
 Initialize `bbsProof`, `proofHash`, `mandatoryHash`, `selectedIndexes`,
-`presentationHeader`, `pseudonym`, and `nonMandatory` to the values associated with their
-property names in the object returned when calling the algorithm in Section
-<a href="#createverifydata"></a>, passing the |unsecuredDocument|, |proof|, and
-any custom JSON-LD API options (such as a document loader).
+`presentationHeader`, `pseudonym`, and `nonMandatory` to the values associated
+with their property names in the object returned when calling the algorithm in
+Section <a href="#createverifydata"></a>, passing the |unsecuredDocument|,
+|proof|, and any custom JSON-LD API options (such as a document loader).
             </li>
             <li>
 Initialize `bbsHeader` to the concatenation of `proofHash` and `mandatoryHash`
@@ -1489,32 +1489,25 @@ <h4>Verify Derived Proof (bbs-2023)</h4>
 algorithm below, depending on whether the |pseudonym| value is empty.
             <ol class="algorithm">
               <li>
-If the |pseudonym| value is empty,
-initialize `verificationResult` to the result of applying the verification
-algorithm
-`ProofVerify(PK, proof, header, ph, disclosed_messages, disclosed_indexes)` of
-[[CFRG-BBS-SIGNATURE]]
-with `PK` set as the public key of the original issuer, `proof` set as `bbsProof`,
-`header` set as `bbsHeader`, `disclosed_messages` set as `disclosedMessages`,
-`ph` set as `presentationHeader`, and `disclosed_indexes` set as
-`selectiveIndexes`. Return `verificationResult` as <em>verification result</em>.
-This applies to the regular BBS proof case as well as "anonymous holder binding"
+If the |pseudonym| value is empty, initialize |verified| to the result of
+applying the verification algorithm `ProofVerify(PK, proof, header, ph,
+disclosed_messages, disclosed_indexes)` of [[CFRG-BBS-SIGNATURE]] with `PK` set
+as the public key of the original issuer, `proof` set as `bbsProof`, `header`
+set as `bbsHeader`, `disclosed_messages` set as `disclosedMessages`, `ph` set as
+`presentationHeader`, and `disclosed_indexes` set as `selectiveIndexes`. This
+applies to the regular BBS proof case as well as "anonymous holder binding"
 case.
               </li>
               <li>
-If the |pseudonym| value is not empty,
-initialize `verificationResult` to the result of applying the verification
-algorithm
-`PseudonymProofVerify(PK, proof, header, ph, disclosed_messages, disclosed_indexes, pseudonym)`
-of
-[[CFRG-Pseudonym-BBS-Signature]],
-with `PK` set as the public key of the original issuer, `proof` set as `bbsProof`,
-`header` set as `bbsHeader`, `disclosed_messages` set as `disclosedMessages`,
-`ph` set as `presentationHeader`, `disclosed_indexes` set as
-`selectiveIndexes`, and `pseudonym`. Return `verificationResult` as
-<em>verification result</em>.
-This applies to the "pseudonym with issuer known pid" and "pseudonym with
-hidden pid" cases.
+If the |pseudonym| value is not empty, initialize |verified| to the result of
+applying the verification algorithm `PseudonymProofVerify(PK, proof, header, ph,
+disclosed_messages, disclosed_indexes, pseudonym)` of
+[[CFRG-Pseudonym-BBS-Signature]], with `PK` set as the public key of the
+original issuer, `proof` set as `bbsProof`, `header` set as `bbsHeader`,
+`disclosed_messages` set as `disclosedMessages`, `ph` set as
+`presentationHeader`, `disclosed_indexes` set as `selectiveIndexes`, and
+`pseudonym`. This applies to the "pseudonym with issuer known pid" and
+"pseudonym with hidden pid" cases.
               </li>
             </ol>
           </li>
@@ -1525,8 +1518,8 @@ <h4>Verify Derived Proof (bbs-2023)</h4>
                 <dd>|verified|</dd>
                 <dt>[=verifiedDocument=]</dt>
                 <dd>
-|unsecuredDocument| if |verified| is `true`, otherwise <a
-data-cite="INFRA#nulls">Null</a>
+|unsecuredDocument| if |verified| is `true`, otherwise
+<a data-cite="INFRA#nulls">Null</a>
                 </dd>
               </dl>
             </li>