A few edits and fixes for typos