Another small cosmetic change