Made some cosmetic improvements. Corrected typos.