diff --git a/liquid-prelude.cabal b/liquid-prelude.cabal
--- a/liquid-prelude.cabal
+++ b/liquid-prelude.cabal
@@ -1,6 +1,6 @@
 cabal-version:      1.24
 name:               liquid-prelude
-version:            0.9.2.8.1
+version:            0.9.2.8.2
 synopsis:           General utility modules for LiquidHaskell
 description:        General utility modules for LiquidHaskell.
 license:            BSD3
@@ -28,7 +28,7 @@
   hs-source-dirs:     src
   build-depends:      base          < 5
                     , ghc-prim
-                    , bytestring           >= 0.10.12.1 && < 0.12
-                    , containers           >= 0.6.4.1  && < 0.7
+                    , bytestring           >= 0.10.12.1
+                    , containers           >= 0.6.4.1
                     , liquidhaskell        >= 0.9.2.8
   default-language:   Haskell2010
diff --git a/src/Language/Haskell/Liquid/ProofCombinators.hs b/src/Language/Haskell/Liquid/ProofCombinators.hs
--- a/src/Language/Haskell/Liquid/ProofCombinators.hs
+++ b/src/Language/Haskell/Liquid/ProofCombinators.hs
@@ -149,11 +149,9 @@
 -- | The above operators check each intermediate proof step.
 --   The operator `==.` below accepts an optional proof term
 --   argument, but does not check intermediate steps.
---   TODO: What is it USEFUL FOR?
+--   So, using `==.` the proofs are faster, but the error messages worse. 
 
 infixl 3 ==.
-
-{-# DEPRECATED (==.) "Use (===) instead" #-}
 
 {-# INLINE (==.) #-} 
 (==.) :: a -> a -> a