Cleaned up a few issues in a recent documentation patch.