fixed an argument counting bug

7 jobs for git-replay-merge-no-push-option-v9_12 in 7 minutes and 19 seconds (queued for 1 second)