Fix bash syntax