BASH fixes