Re: [PATCH] fix typo in documentation