Some touchups, typo fixes. Nothing major.