darcs patch: Fix typo in documentation