tweaks to bash styling