diff --git a/docs/deposits/index.adoc b/docs/deposits/index.adoc
index abbfbbc0e..dd3feed7b 100644
--- a/docs/deposits/index.adoc
+++ b/docs/deposits/index.adoc
@@ -107,21 +107,16 @@ proof is not received within a given timeout window, the signing group will
 disband and the system will seize the bond's value, making it available to the
 signing group members to reclaim.
 
-To prove deposit, the depositor constructs a transaction for the host chain
-that provides proof that the transaction was accepted on the Bitcoin chain
-and has had sufficient work built on top of the block that included the deposit
-transaction. These proofs are verified by an on-chain simple payment
-verification (SPV) system. A more complete discussion of cross-chain SPV
-systems and their security properties is included in the appendix.
+To prove a deposit, the depositor submits proof the transaction has been
+confirmed and accumulated sufficient work on the Bitcoin chain. The proof is
+verified by an on-chain simple payment verification (SPV) contract on the host
+chain. A more complete discussion of cross-chain SPV systems and their security
+properties <<{root-prefix}/appendix/spv/index#,is included in the appendix>>.
 
 // TODO What is "sufficient"? Defined as a system property? Dynamic?
 
-include::./mispayment.adoc[leveloffset=0]
-
 === Light Relays
 
-// TODO: crosslink to appendix SPV section
-
 Light relays are a new variant of on-chain SPV developed for tBTC. They seek to
 take advantage of the compact and efficient stateless SPV proofs while relaying
 enough information to provide each stateless proof with some recency guarantee.
@@ -155,6 +150,8 @@ SPV proofs when used as an additional validation step, as even entities with
 significant mining resources have a greatly reduced chance of creating fake
 proofs.
 
+include::./mispayment.adoc[leveloffset=0]
+
 == Lots
 
 :lot-size: 1.0
diff --git a/docs/deposits/mispayment.adoc b/docs/deposits/mispayment.adoc
index 61b087a8e..07bb089bd 100644
--- a/docs/deposits/mispayment.adoc
+++ b/docs/deposits/mispayment.adoc
@@ -61,5 +61,3 @@ signature would constitute ECDSA fraud. As such, the most likely outcome is
 that the signers collectively wait to take personal possession of that BTC
 until the _Deposit_ concludes naturally. This allows the signers to make
 regular signing fees and keep the additional UTXOs without penalty.
-
-