a few small cosmetic changes