A few small cosmetic changes.