cosmetic: reformatting