diff --git a/plugins/php/versions/common/readline.sh b/plugins/php/versions/common/readline.sh
index bde833361..6390b69fa 100755
--- a/plugins/php/versions/common/readline.sh
+++ b/plugins/php/versions/common/readline.sh
@@ -62,7 +62,7 @@ Install_lib()
 			OPTIONS="$OPTIONS --build=aarch64-unknown-linux-gnu --host=aarch64-unknown-linux-gnu"
 		fi
 
-		OPTIONS="$OPTIONS  --with-libedit=${serverPath}/lib/libedit"
+		OPTIONS="$OPTIONS --with-libedit=${serverPath}/lib/libedit"
 
 		$serverPath/php/$version/bin/phpize
 		./configure --with-php-config=$serverPath/php/$version/bin/php-config $OPTIONS