Typos and some cosmetic improvements.