Many minor typo fixes and some clarifications