A few bug fixes, mostly to correct typos in the docs