fix some typos

This fixes a few small issues in the documentation.