Re: typo in the documentation