More bash formatting