diff --git a/Control/Monad/ST/Trans.hs b/Control/Monad/ST/Trans.hs
--- a/Control/Monad/ST/Trans.hs
+++ b/Control/Monad/ST/Trans.hs
@@ -78,6 +78,7 @@
        case ret of
          STTRet new_st a -> 
              unSTT (k a) new_st
+  fail msg = lift (fail msg)
 
 instance MonadTrans (STT s) where
   lift m = STT $ \st ->
diff --git a/STMonadTrans.cabal b/STMonadTrans.cabal
--- a/STMonadTrans.cabal
+++ b/STMonadTrans.cabal
@@ -1,5 +1,5 @@
 name:		STMonadTrans
-version:	0.3.2
+version:	0.3.3
 cabal-version:  >= 1.6
 license:	BSD3
 license-file:	LICENSE
@@ -13,7 +13,7 @@
 
    Warning! This monad transformer should not be used with monads that
    can contain multiple answers, like the list monad. The reason is that 
-   the will be duplicated across the different answers and this cause
+   the state token will be duplicated across the different answers and this causes
    Bad Things to happen (such as loss of referential transparency). Safe 
    monads include the monads State, Reader, Writer, Maybe and 
    combinations of their corresponding monad transformers.