diff --git a/tools/lib/PR_bash.source b/tools/lib/PR_bash.source
index e3bbc8349..0a857e2ba 100644
--- a/tools/lib/PR_bash.source
+++ b/tools/lib/PR_bash.source
@@ -106,6 +106,6 @@ get_sources() {
 merge() {
     local signed="$@"
     git merge --no-ff $signed $PR -m "Merge pull request #$PR
-    $OPT_MSG
-    $(git shortlog master..$PR)"
+$OPT_MSG
+$(git shortlog master..$PR)"
 }