David

Mostly typo fixes (comments).