Fix another doc typo