small cosmetic and semantic changes