Fix doc typo found by @manics