Fixing a few typos and reorganizing the document a bit