Typos, corrections, added a few things