Typo fixes

Various typos in header comments.