BASH fix