bash bugfix