diff --git a/tools/merge-development-with-master.sh b/tools/merge-development-with-master.sh
index 532c95816c..84015f5133 100755
--- a/tools/merge-development-with-master.sh
+++ b/tools/merge-development-with-master.sh
@@ -6,5 +6,5 @@ if [ "$TRAVIS_BRANCH" != "development" ]; then
 fi
 
 git checkout master
-git merge "$TRAVIS_COMMIT"
+git merge "${TRAVIS_COMMIT}"
 git push "https://${GH_TOKEN}@github.com/babel/babel"