Fixes for several typos and typesetting problems in the docs.

I read through all the docs over the weekend, and noticed several small typos and typesetting problems. Here are some fixes.