Minor typo fixes in docs

Here are a few typos I found while looking at the codegen stuff.