Formatting in defensive bash