Typo in documentation. No functional change.