diff --git a/CHANGES.md b/CHANGES.md
index 1cf6cd29e6..246163b01e 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -6,10 +6,12 @@ Version 0.5.0 is the fifth release.
 
 This release includes some API changes:
 
+`cats.laws.discipline.eq` no longer provides `Eq` instances for `Tuple2` and `Tuple3`, these instances and together with some other new instances for `Tuple`s are now provided by `cats.std.tuple` (through inheriting the instance trait defined in algebra 0.4.2).
+
 * [#910](https://github.com/typelevel/cats/pull/910): Remove `Streaming` and `StreamingT`
 * [#967](https://github.com/typelevel/cats/pull/967): `product` and `map` can be implemented in terms of `ap`
 * [#970](https://github.com/typelevel/cats/pull/970): Renamed `Kleisli#apply`to `ap`
-
+* [#994](https://github.com/typelevel/cats/pull/994): updated to latest algebra (brought in all the new goodies)
 
 And additions:
 
@@ -29,7 +31,6 @@ And additions:
 * [#971](https://github.com/typelevel/cats/pull/971): Add `toValidatedNel` to `Xor`
 * [#973](https://github.com/typelevel/cats/pull/973): Add `flatMapF` for `StateT`
 * [#985](https://github.com/typelevel/cats/pull/985): Add object `reducible` for reducible syntax
-* [#994](https://github.com/typelevel/cats/pull/994): updated to latest algebra (brought in all the new goodies)
 * [#996](https://github.com/typelevel/cats/pull/996): Add `SemigroupK` instance for `Xor`
 * [#998](https://github.com/typelevel/cats/pull/998): Add `SemigroupK` instance for `Validated`
 * [#986](https://github.com/typelevel/cats/pull/986): Add `Bitraverse` instances for `Validated` and `XorT`
diff --git a/docs/src/site/index.md b/docs/src/site/index.md
index b43c1f3671..67d5966e6a 100644
--- a/docs/src/site/index.md
+++ b/docs/src/site/index.md
@@ -21,7 +21,7 @@ Cats is currently available for Scala 2.10 and 2.11.
 
 To get started with SBT, simply add the following to your build.sbt file:
 
-    libraryDependencies += "org.typelevel" %% "cats" % "0.4.1"
+    libraryDependencies += "org.typelevel" %% "cats" % "0.5.0"
 
 This will pull in all of Cats' modules. If you only require some
 functionality, you can pick-and-choose from amongst these modules