Fixed some careless typos and other loose ends.