Minor fixes

Mostly documentatio typos.