minor typos. cosmetic changes.