diff --git a/src/lib.rs b/src/lib.rs
index 1d38098..d2f9323 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -115,7 +115,7 @@ impl<Tuple: Ord> Relation<Tuple> {
     }
 
     /// Creates a `Relation` using the `leapjoin` logic;
-    /// see [`Variable::leapjoin`]
+    /// see [`Variable::from_leapjoin`]
     pub fn from_leapjoin<'leap, SourceTuple: Ord, Val: Ord + 'leap>(
         source: &Relation<SourceTuple>,
         leapers: impl Leapers<'leap, SourceTuple, Val>,
diff --git a/src/treefrog.rs b/src/treefrog.rs
index 3e700d3..2ad238f 100644
--- a/src/treefrog.rs
+++ b/src/treefrog.rs
@@ -439,8 +439,8 @@ pub(crate) mod extend_anti {
         }
     }
 
-    impl<'leap, Key: Ord, Val: Ord + 'leap, Tuple: Ord, Func: Fn(&Tuple) -> Key>
-        Leaper<'leap, Tuple, Val> for ExtendAnti<'leap, Key, Val, Tuple, Func>
+    impl<'leap, Key: Ord, Val: Ord + 'leap, Tuple: Ord, Func> Leaper<'leap, Tuple, Val>
+        for ExtendAnti<'leap, Key, Val, Tuple, Func>
     where
         Key: Ord + 'leap,
         Val: Ord + 'leap,
@@ -589,8 +589,8 @@ pub(crate) mod filter_anti {
         }
     }
 
-    impl<'leap, Key: Ord, Val: Ord + 'leap, Val2, Tuple: Ord, Func: Fn(&Tuple) -> (Key, Val)>
-        Leaper<'leap, Tuple, Val2> for FilterAnti<'leap, Key, Val, Tuple, Func>
+    impl<'leap, Key: Ord, Val: Ord + 'leap, Val2, Tuple: Ord, Func> Leaper<'leap, Tuple, Val2>
+        for FilterAnti<'leap, Key, Val, Tuple, Func>
     where
         Key: Ord + 'leap,
         Val: Ord + 'leap,