Fixed a few typos and clarifications