Ha, the benefit of a benevolent dictator! (Specially when he decrees the right choice ;-) For anyone else trying to follow the twists and turns - Stephen basically pointed out that even though "darcs" ends with an s, it is singular. Oops, I think I've gotten involved..