diff --git a/src/UniqueLogic/ST/TF/Example/Expression.hs b/src/UniqueLogic/ST/TF/Example/Expression.hs
--- a/src/UniqueLogic/ST/TF/Example/Expression.hs
+++ b/src/UniqueLogic/ST/TF/Example/Expression.hs
@@ -1,5 +1,5 @@
 module UniqueLogic.ST.TF.Example.Expression
-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}
+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}
  where
 
 import qualified UniqueLogic.ST.TF.Expression as Expr
diff --git a/src/UniqueLogic/ST/TF/Example/Label.hs b/src/UniqueLogic/ST/TF/Example/Label.hs
--- a/src/UniqueLogic/ST/TF/Example/Label.hs
+++ b/src/UniqueLogic/ST/TF/Example/Label.hs
@@ -1,5 +1,5 @@
 module UniqueLogic.ST.TF.Example.Label
-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}
+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}
  where
 
 import qualified UniqueLogic.ST.TF.Example.Term as Term
diff --git a/src/UniqueLogic/ST/TF/Example/Rule.hs b/src/UniqueLogic/ST/TF/Example/Rule.hs
--- a/src/UniqueLogic/ST/TF/Example/Rule.hs
+++ b/src/UniqueLogic/ST/TF/Example/Rule.hs
@@ -1,5 +1,5 @@
 module UniqueLogic.ST.TF.Example.Rule
-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}
+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}
  where
 
 import qualified UniqueLogic.ST.TF.Rule as Rule
diff --git a/src/UniqueLogic/ST/TF/Example/Verify.hs b/src/UniqueLogic/ST/TF/Example/Verify.hs
--- a/src/UniqueLogic/ST/TF/Example/Verify.hs
+++ b/src/UniqueLogic/ST/TF/Example/Verify.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE FlexibleInstances #-}
 module UniqueLogic.ST.TF.Example.Verify
-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}
+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}
  where
 
 import qualified UniqueLogic.ST.TF.Example.Term as Term
diff --git a/unique-logic-tf.cabal b/unique-logic-tf.cabal
--- a/unique-logic-tf.cabal
+++ b/unique-logic-tf.cabal
@@ -1,5 +1,5 @@
 Name:             unique-logic-tf
-Version:          0.4
+Version:          0.4.0.1
 License:          BSD3
 License-File:     LICENSE
 Author:           Henning Thielemann
@@ -64,7 +64,7 @@
 Build-Type:        Simple
 
 Source-Repository this
-  Tag:         0.4
+  Tag:         0.4.0.1
   Type:        darcs
   Location:    http://code.haskell.org/~thielema/unique-logic-tf/