Fixing small bug in the git/workload.sh script