fix some bash syntax