diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -8,8 +8,6 @@
     > a = [1..10]; b = [1..11]
     > length a > 2^((length b)/3)
     {?(prec 36): CertainFalse}
-<!-- > (length a) `mod` 0.5
-TODO -->
 
 Partial operations such as division, sqrt and power
 do not throw exceptions even when errors such as division by zero
@@ -265,11 +263,6 @@
      -> t4
      -> SqrtType (AddType (AddType t2 (MulType t3 t4)) Integer)
 ```
-
-<!-- * Due to limitations of some versions of ghc, type inference sometimes fails.
-  Eg `add1 = (+ 1)` fails (eg with ghc 8.0.2) unless we explicitly declare the type
-  @add1 :: (CanAdd Integer t) => t -> AddType t Integer@
-  or use an explicit parameter, eg @add1 x = x + 1@. -->
 
 ## Credits
 
diff --git a/mixed-types-num.cabal b/mixed-types-num.cabal
--- a/mixed-types-num.cabal
+++ b/mixed-types-num.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 3aadc479d775f322f55525a75972a2550f7039783922118344addf7514671100
+-- hash: 3fd7a4d7a957c531c987ec2471e38036a8302504357a6ae2cc847fd6046f10d7
 
 name:           mixed-types-num
-version:        0.5.0.2
+version:        0.5.0.3
 synopsis:       Alternative Prelude with numeric and logic expressions typed bottom-up
 description:    Please see the README on GitHub at <https://github.com/michalkonecny/mixed-types-num#readme>
 category:       Math