Minor doc typo fixup.