diff --git a/lib/src/lib.rs b/lib/src/lib.rs
index f826d7c..f15c7eb 100644
--- a/lib/src/lib.rs
+++ b/lib/src/lib.rs
@@ -161,10 +161,10 @@ for model in adf.complete() {
 }
 ```
 
-### Using the [`NoGood`]-learner approach, together with the [`crossbeam-channel`] implementation
+### Using the [`NoGood`][crate::nogoods::NoGood]-learner approach, together with the [`crossbeam-channel`] implementation
 This can be used to have a worker and a consumer thread to print the results as they are computed.
-Please note that the [`NoGood`]-learner needs a heuristics function to work.
-The enum [`Heuristic`][adf_bdd::adf::heuristics::Heuristic] allows one to choose a pre-defined heuristic, or implement a `Custom` one.
+Please note that the [`NoGood`][crate::nogoods::NoGood]-learner needs a heuristics function to work.
+The enum [`Heuristic`][crate::adf::heuristics::Heuristic] allows one to choose a pre-defined heuristic, or implement a `Custom` one.
 ```rust
 use adf_bdd::parser::AdfParser;
 use adf_bdd::adf::Adf;
diff --git a/lib/src/nogoods.rs b/lib/src/nogoods.rs
index 133db5f..ef117e5 100644
--- a/lib/src/nogoods.rs
+++ b/lib/src/nogoods.rs
@@ -245,7 +245,7 @@ impl NoGoodStore {
         }
     }
 
-    /// Draws a (Conclusion)[NoGood], based on the [NoGoodstore] and the given [NoGood].
+    /// Draws a (Conclusion)[NoGood], based on the [NoGoodStore] and the given [NoGood].
     /// *Returns* [None] if there is a conflict
     pub fn conclusions(&self, nogood: &NoGood) -> Option<NoGood> {
         let mut result = nogood.clone();