bash fix