diff --git a/documentation/sphinx/requirements.txt b/documentation/sphinx/requirements.txt
index 9f4ebeb3174..787d5d80bdb 100644
--- a/documentation/sphinx/requirements.txt
+++ b/documentation/sphinx/requirements.txt
@@ -1,5 +1,5 @@
 --index-url https://pypi.python.org/simple
-sphinx==1.6.1
+sphinx==1.6.7
 sphinx-bootstrap-theme==0.4.8
 docutils==0.16
 Jinja2==3.0.3
diff --git a/packaging/docker/build-images.sh b/packaging/docker/build-images.sh
index 7fc293678db..f39bd4f14ec 100644
--- a/packaging/docker/build-images.sh
+++ b/packaging/docker/build-images.sh
@@ -215,6 +215,12 @@ function build_and_push_images () {
             compile_ycsb
         fi
         logg "TAG ${image_tag#${registry}/foundationdb/}"
+        ##############################################
+        #EXTRA OPTIONS
+        #You can add extra options HTTP_PROXY and HTTPS_PROXY as parameters in command "docker build"
+        # --build-arg HTTPS_PROXY="${HTTPS_PROXY}" \
+        # --build-arg HTTP_PROXY="${HTTP_PROXY}" \
+        ##############################################
         docker build \
             --label "org.foundationdb.version=${fdb_version}" \
             --label "org.foundationdb.build_date=${build_date}" \