Made some small changes to our Bash scripts