cosmetic correction

small cosmetic correction