Bash: Minor fixes