diff --git a/setup/web.sh b/setup/web.sh
index 2e82fe6a..4ba646e4 100755
--- a/setup/web.sh
+++ b/setup/web.sh
@@ -54,7 +54,6 @@ tools/editconf.py /etc/php/7.2/fpm/php.ini -c ';' \
 tools/editconf.py /etc/php/7.2/fpm/php.ini -c ';' \
         default_socket_timeout=180
 
-
 # Switch from the dynamic process manager to the ondemand manager see #1216
 tools/editconf.py /etc/php/7.2/fpm/pool.d/www.conf -c ';' \
 	pm=ondemand