fix a bash syntax error