A few typos and consistency updates.