Fix another documentation typo.