diff --git a/dev/phpservermon-default b/dev/phpservermon-default
index c233fd53..52b5a293 100755
--- a/dev/phpservermon-default
+++ b/dev/phpservermon-default
@@ -26,7 +26,7 @@ server {
     }
 
     location = /robots.txt {
-        allow all;
+        denyall;
         log_not_found off;
         access_log off;
     }
diff --git a/setup-mysql.sh b/setup-mysql.sh
index 1259f885..dc5b056c 100755
--- a/setup-mysql.sh
+++ b/setup-mysql.sh
@@ -4,5 +4,5 @@ mysql -e "CREATE DATABASE psm;"
 # Create user
 mysql -e "CREATE USER 'psm'@'localhost' IDENTIFIED BY 'psm-dev-password';"
 mysql -e "GRANT ALL PRIVILEGES ON psm.* TO 'psm'@'localhost';"
-mysql -e "FLUSH PRIVILEGES;";
+mysql -e "FLUSH PRIVILEGES;"