fix bash syntax