Fixed some typos and clarified some explanations