some small cosmetic changes