Fixed double parentheses. Desired in Bash, not in Csh