diff --git a/docs/src/main/tut/invariant.md b/docs/src/main/tut/invariant.md
index 1f01e58ce2..eb1d6299f7 100644
--- a/docs/src/main/tut/invariant.md
+++ b/docs/src/main/tut/invariant.md
@@ -15,7 +15,7 @@ def imap[A, B](fa: F[A])(f: A => B)(g: B => A): F[B]
 ```
 
 Every covariant (as well as [contravariant](contravariant.html)) functor gives rise to an invariant
-functor, by ignoring the `f` (or in case of contravariance, `g`) function.
+functor, by ignoring the `g` (or in case of contravariance, `f`) function.
 
 Examples for instances of `Invariant` are `Semigroup` and `Monoid`, in
 the following we will explain why this is the case using `Semigroup`, the