Corrected typos and clarified some things