fix some bash formatting