Minor bug fix in Bash shell scripts used to run experiments