diff --git a/Control/Monad/Logic.hs b/Control/Monad/Logic.hs
--- a/Control/Monad/Logic.hs
+++ b/Control/Monad/Logic.hs
@@ -177,6 +177,7 @@
 instance Monad Logic where
     return = Logic . return
     m >>= f = Logic $ unLogic m >>= unLogic . f
+    fail   = Logic . fail
 
 instance MonadPlus Logic where
     mzero = Logic mzero
diff --git a/logict.cabal b/logict.cabal
--- a/logict.cabal
+++ b/logict.cabal
@@ -1,10 +1,10 @@
 Name:                   logict
-Version:                0.2
+Version:                0.2.1
 Description:            A continuation-based, backtracking, logic programming monad.
                         An adaptation of the two-continuation implementation found
                         in the paper "Backtracking, Interleaving, and Terminating
                         Monad Transformers" available here:
-                        http://okmij.org/ftp/papers/LogicT.pdf
+                        <http://okmij.org/ftp/papers/LogicT.pdf>
 Synopsis:               A backtracking logic-programming monad.
 Category:               Control
 License:                BSD3