a few cosmetic changes