Trivial doc typo fix.