Fixes a few typos near the end of Sec 1