Corrected bug in Bash syntax