Fixed a bash syntax error