fix some bash formatting, some more