fix bash syntax error