Another documentation typo