darcs patch: Fix typo (and 2 more)