bash syntax fix