darcs patch: Fix a non-total function definition warning (and 1 more)