Bash bugfix