fix some typos and minor revisions