Some revisions and fixes to typos.