diff --git a/setup/symfony_server.rst b/setup/symfony_server.rst
index 923ac149fca..ad544aa0be8 100644
--- a/setup/symfony_server.rst
+++ b/setup/symfony_server.rst
@@ -110,10 +110,10 @@ root directory:
     $ cd my-project/
 
     # use a specific PHP version
-    $ echo "7.2" > .php-version
+    $ echo 7.2 > .php-version
 
     # use any PHP 7.x version available
-    $ echo "7" > .php-version
+    $ echo 7 > .php-version
 
 .. tip::