Re: darcs patch: Fix typo in documentation