Change a few minor nits in bashbrew.sh