A few more typos and language edits