Correct bash syntax.