diff --git a/doc/wrs-developer-manual.in b/doc/wrs-developer-manual.in
index ef639644e8b2c6dce2fbd43da8c287e2ab31ac20..ce39db41fc4ab7227d765bddbc14ffe2b7f93781 100644
--- a/doc/wrs-developer-manual.in
+++ b/doc/wrs-developer-manual.in
@@ -35,7 +35,7 @@
 
 @setchapternewpage off
 
-@set update-month December 2016
+@set update-month August 2017
 @c the release name below is substituted at build time
 @set release __RELEASE_GIT_ID__
 
@@ -477,7 +477,7 @@ i.e. a @i{tar} archive of all files needed to flash a brand new WR
 Switch.  The example above shows that the name is something like:
 
 @example
-	wr-switch-sw-v5.0-20161214_binaries.tar
+	wr-switch-sw-v5.0.1-20170825_binaries.tar
 @end example
 
 In other words, we include both the tag name (from @t{git describe})
@@ -1258,7 +1258,7 @@ If you want to flash the @i{at91boot.bin}, @i{barebox.bin}, @i{kernel}
 or @i{file-system} that you just built, you can just call the script
 from the build directory and use the @code{-b} option.
 
-The official binaries for installation of version 5.0 of this package
+The official binaries for installation of version 5.0.1 of this package
 are available in the @i{files} tab of this project in @t{ohwr.org}.
 We don't provide a complete link here, but one is available in the
 list of downloaded files: @t{build/download-info}.
diff --git a/doc/wrs-user-manual.in b/doc/wrs-user-manual.in
index 7c2f8e0c60b12f94c502b8b1ed8e77a6a19bcb93..334e42a0b8c578ceddac1d95e39046680ece2c91 100644
--- a/doc/wrs-user-manual.in
+++ b/doc/wrs-user-manual.in
@@ -35,7 +35,7 @@
 
 @setchapternewpage off
 
-@set update-month December 2016
+@set update-month August 2017
 @c the release name below is substituted at build time
 @set release __RELEASE_GIT_ID__