fixed some typos and revised some text