diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index a14c32fb..41bbfed2 100644
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -1,4 +1,4 @@
-site_name: Nominatim 3.7.1
+site_name: Nominatim 3.7.2
 theme: readthedocs
 docs_dir: ${CMAKE_CURRENT_BINARY_DIR}
 site_url: https://nominatim.org
diff --git a/vagrant/Install-on-Centos-7.sh b/vagrant/Install-on-Centos-7.sh
index 630613f8..2d60ed87 100755
--- a/vagrant/Install-on-Centos-7.sh
+++ b/vagrant/Install-on-Centos-7.sh
@@ -116,8 +116,8 @@ sudo chown vagrant /srv/nominatim  #DOCS:
 # Get the source for the release and unpack it
 #
 if [ "x$1" == "xyes" ]; then  #DOCS:    :::sh
-    wget https://nominatim.org/release/Nominatim-3.7.1.tar.bz2
-    tar xf Nominatim-3.7.1.tar.bz2
+    wget https://nominatim.org/release/Nominatim-3.7.2.tar.bz2
+    tar xf Nominatim-3.7.2.tar.bz2
 else                               #DOCS:
     cd $USERHOME/Nominatim         #DOCS:
 fi                                 #DOCS:
@@ -128,7 +128,7 @@ fi                                 #DOCS:
 #DOCS:    :::sh
     mkdir $USERHOME/build
     cd $USERHOME/build
-    cmake $USERHOME/Nominatim-3.7.1
+    cmake $USERHOME/Nominatim-3.7.2
     make
     sudo make install
 
diff --git a/vagrant/Install-on-Centos-8.sh b/vagrant/Install-on-Centos-8.sh
index 1229db4b..2038b82e 100755
--- a/vagrant/Install-on-Centos-8.sh
+++ b/vagrant/Install-on-Centos-8.sh
@@ -111,8 +111,8 @@ sudo chown vagrant /srv/nominatim  #DOCS:
 #
 if [ "x$1" == "xyes" ]; then  #DOCS:    :::sh
     cd $USERHOME
-    wget https://nominatim.org/release/Nominatim-3.7.1.tar.bz2
-    tar xf Nominatim-3.7.1.tar.bz2
+    wget https://nominatim.org/release/Nominatim-3.7.2.tar.bz2
+    tar xf Nominatim-3.7.2.tar.bz2
 else                               #DOCS:
     cd $USERHOME/Nominatim         #DOCS:
 fi                                 #DOCS:
@@ -123,7 +123,7 @@ fi                                 #DOCS:
 #DOCS:    :::sh
     mkdir $USERHOME/build
     cd $USERHOME/build
-    cmake $USERHOME/Nominatim-3.7.1
+    cmake $USERHOME/Nominatim-3.7.2
     make
     sudo make install
 
diff --git a/vagrant/Install-on-Ubuntu-18.sh b/vagrant/Install-on-Ubuntu-18.sh
index d1613ffb..7e8199b7 100755
--- a/vagrant/Install-on-Ubuntu-18.sh
+++ b/vagrant/Install-on-Ubuntu-18.sh
@@ -101,8 +101,8 @@ export DEBIAN_FRONTEND=noninteractive #DOCS:
 #
 if [ "x$1" == "xyes" ]; then  #DOCS:    :::sh
     cd $USERHOME
-    wget https://nominatim.org/release/Nominatim-3.7.1.tar.bz2
-    tar xf Nominatim-3.7.1.tar.bz2
+    wget https://nominatim.org/release/Nominatim-3.7.2.tar.bz2
+    tar xf Nominatim-3.7.2.tar.bz2
 else                               #DOCS:
     cd $USERHOME/Nominatim         #DOCS:
 fi                                 #DOCS:
@@ -112,7 +112,7 @@ fi                                 #DOCS:
 
     mkdir $USERHOME/build
     cd $USERHOME/build
-    cmake $USERHOME/Nominatim-3.7.1
+    cmake $USERHOME/Nominatim-3.7.2
     make
     sudo make install
 
diff --git a/vagrant/Install-on-Ubuntu-20.sh b/vagrant/Install-on-Ubuntu-20.sh
index 41de9521..04f11e38 100755
--- a/vagrant/Install-on-Ubuntu-20.sh
+++ b/vagrant/Install-on-Ubuntu-20.sh
@@ -99,8 +99,8 @@ export DEBIAN_FRONTEND=noninteractive #DOCS:
 #
 if [ "x$1" == "xyes" ]; then  #DOCS:    :::sh
     cd $USERHOME
-    wget https://nominatim.org/release/Nominatim-3.7.1.tar.bz2
-    tar xf Nominatim-3.7.1.tar.bz2
+    wget https://nominatim.org/release/Nominatim-3.7.2.tar.bz2
+    tar xf Nominatim-3.7.2.tar.bz2
 else                               #DOCS:
     cd $USERHOME/Nominatim         #DOCS:
 fi                                 #DOCS:
@@ -110,7 +110,7 @@ fi                                 #DOCS:
 
     mkdir $USERHOME/build
     cd $USERHOME/build
-    cmake $USERHOME/Nominatim-3.7.1
+    cmake $USERHOME/Nominatim-3.7.2
     make
     sudo make install