bugfix in bash