Fix various typos

There were a few typos in the doc and comments, this commit fixes them (along with one in a header name)