diff --git a/doc/functions.xml b/doc/functions.xml
index 4a9015602afc..52bdf13eba9b 100644
--- a/doc/functions.xml
+++ b/doc/functions.xml
@@ -358,8 +358,8 @@
pkgs.dockerTools is a set of functions for creating and
manipulating Docker images according to the
-
- Docker Image Specification v1.0.0
+
+ Docker Image Specification v1.2.0
. Docker itself is not used to perform any of the operations done by these
functions.
@@ -493,8 +493,8 @@
config is used to specify the configuration of the
containers that will be started off the built image in Docker.
The available options are listed in the
-
- Docker Image Specification v1.0.0
+
+ Docker Image Specification v1.2.0
.