Minor bash formatting changes