Fixed some typos and made some clarifications