Doc typos. Fixes #231