fix bash syntax bug