Fixed some typos and clarified a few points