small cosmetic updates before pushing