diff --git a/docs/users_guide/7.12.1-notes.rst b/docs/users_guide/8.0.1-notes.rst
similarity index 99%
rename from docs/users_guide/7.12.1-notes.rst
rename to docs/users_guide/8.0.1-notes.rst
index 6553fba5ff662b6ce9b3debf73745b0f46c7dd33..0aa221d066e3a971f5eaf6c052062746d5efd411 100644
--- a/docs/users_guide/7.12.1-notes.rst
+++ b/docs/users_guide/8.0.1-notes.rst
@@ -1,7 +1,7 @@
-.. _release-7-12-1:
+.. _release-8-0-1:
 
-Release notes for version 7.12.1
-================================
+Release notes for version 8.0.1
+===============================
 
 The significant changes to the various parts of the compiler are listed
 in the following sections. There have also been numerous bug fixes and
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 8a5b9b61385530593b3ffc7f8e7afd5ec800b400..961a3785d029af80e70ae7723d71f41b5ac98af7 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -7017,7 +7017,7 @@ which implicitly defines an instance of the form
 Injective type families
 -----------------------
 
-Starting with GHC 7.12 type families can be annotated with injectivity
+Starting with GHC 8.0 type families can be annotated with injectivity
 information. This information is then used by GHC during type checking
 to resolve type ambiguities in situations where a type variable appears
 only under type family applications.
diff --git a/docs/users_guide/index.rst b/docs/users_guide/index.rst
index 3f1f381aaba393e321709dba51dde785b8909664..bb6b09acd4f24014dcb14aadc2a93e55f2d614a3 100644
--- a/docs/users_guide/index.rst
+++ b/docs/users_guide/index.rst
@@ -12,7 +12,7 @@ Contents:
 
    license
    intro
-   7.12.1-notes
+   8.0.1-notes
    ghci
    runghc
    usage