Fix a doc typo.

This patch is a trivial doc change to fix up an awkward sentence.