Corrected typos, added some minor clarifications