diff --git a/src/bundle.rs b/src/bundle.rs
index 24f173d..ff44346 100644
--- a/src/bundle.rs
+++ b/src/bundle.rs
@@ -50,10 +50,9 @@ pub trait MapAuth<A: Authorization, B: Authorization> {
 
 /// The identity map.
 ///
-/// This can be used with [`TransactionData::map_authorization`] when you want to map the
-/// authorization of a subset of the transaction's bundles.
-///
-/// [`TransactionData::map_authorization`]: crate::transaction::TransactionData::map_authorization
+/// This can be used with [`Bundle::map_authorization`] when you want to map the
+/// authorization of a subset of a transaction's bundles (excluding the Sapling bundle) in
+/// a higher-level transaction type.
 impl MapAuth<Authorized, Authorized> for () {
     fn map_spend_proof(
         &mut self,
diff --git a/src/prover.rs b/src/prover.rs
index 6831488..9694deb 100644
--- a/src/prover.rs
+++ b/src/prover.rs
@@ -38,12 +38,12 @@ pub trait SpendProver {
 
     /// Create the proof for a Sapling [`SpendDescription`].
     ///
-    /// [`SpendDescription`]: crate::transaction::components::SpendDescription
+    /// [`SpendDescription`]: crate::bundle::SpendDescription
     fn create_proof<R: RngCore>(&self, circuit: circuit::Spend, rng: &mut R) -> Self::Proof;
 
     /// Encodes the given Sapling [`SpendDescription`] proof, erasing its type.
     ///
-    /// [`SpendDescription`]: crate::transaction::components::SpendDescription
+    /// [`SpendDescription`]: crate::bundle::SpendDescription
     fn encode_proof(proof: Self::Proof) -> GrothProofBytes;
 }
 
@@ -65,12 +65,12 @@ pub trait OutputProver {
 
     /// Create the proof for a Sapling [`OutputDescription`].
     ///
-    /// [`OutputDescription`]: crate::transaction::components::OutputDescription
+    /// [`OutputDescription`]: crate::bundle::OutputDescription
     fn create_proof<R: RngCore>(&self, circuit: circuit::Output, rng: &mut R) -> Self::Proof;
 
     /// Encodes the given Sapling [`OutputDescription`] proof, erasing its type.
     ///
-    /// [`OutputDescription`]: crate::transaction::components::OutputDescription
+    /// [`OutputDescription`]: crate::bundle::OutputDescription
     fn encode_proof(proof: Self::Proof) -> GrothProofBytes;
 }
 
diff --git a/src/value.rs b/src/value.rs
index 16bab4a..a93634d 100644
--- a/src/value.rs
+++ b/src/value.rs
@@ -31,10 +31,10 @@
 //! you should only need to interact with [`NoteValue`] (which can be safely constructed
 //! from a `u64`) and `valueBalanceSapling` (which can be represented as an `i64`).
 //!
-//! [`Bundle`]: crate::sapling::Bundle
-//! [`Bundle::value_balance`]: crate::sapling::Bundle::value_balance
-//! [`SaplingBuilder::value_balance`]: crate::sapling::builder::SaplingBuilder::value_balance
-//! [`SaplingBuilder::add_output`]: crate::sapling::builder::SaplingBuilder::add_output
+//! [`Bundle`]: crate::Bundle
+//! [`Bundle::value_balance`]: crate::Bundle::value_balance
+//! [`SaplingBuilder::value_balance`]: crate::builder::SaplingBuilder::value_balance
+//! [`SaplingBuilder::add_output`]: crate::builder::SaplingBuilder::add_output
 //! [Rust documentation]: https://doc.rust-lang.org/stable/std/primitive.i64.html
 
 use bitvec::{array::BitArray, order::Lsb0};