diff --git a/Bayes/Factor/CPT.hs b/Bayes/Factor/CPT.hs
--- a/Bayes/Factor/CPT.hs
+++ b/Bayes/Factor/CPT.hs
@@ -143,14 +143,8 @@
 
 --  Divie two CPT
 cptDivide :: CPT -> CPT -> CPT
-cptDivide a b = _factorProduct multiply [a,invertCPT b]
+cptDivide a b = _factorProduct divide [a, b]
 
-invertCPT (Scalar a) = Scalar (1.0 / a)
-invertCPT (Table d m v) = Table d m (V.map inv v)
- where 
-    inv x = 1.0 / x
--- Warning, the fold in factorProduct may not do the operations in the order you expect.
--- Since a/b is different from b/a we have to take this into account. So, the order is changed in the list
 
 cptSum :: [CPT] -> CPT
 cptSum = _factorProduct elementSum
diff --git a/Bayes/InfluenceDiagram.hs b/Bayes/InfluenceDiagram.hs
--- a/Bayes/InfluenceDiagram.hs
+++ b/Bayes/InfluenceDiagram.hs
@@ -14,6 +14,7 @@
   , UV
   , DV
   , TDV
+  , IDMonad
   -- * Building 
   , t 
   , (~~)
@@ -566,5 +567,4 @@
       (_, result) = marginalizeID decOrder bucket []
   in
   result 
-
 
diff --git a/hbayes.cabal b/hbayes.cabal
--- a/hbayes.cabal
+++ b/hbayes.cabal
@@ -7,7 +7,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.4
+Version:             0.4.1
 
 -- A short (one-line) description of the package.
 Synopsis:            Inference with Discrete Bayesian Networks