Minor cosmetic changes.