Some minor cosmetic changes.