Fix BASH syntax.