Fix a few typos

Caught some typos in the developer documentation.