Don Stewart wrote: > Could you file a ticket, with your patch After pulling HEAD to prepare a proper darcs patch (as per library submission procedure), I found that Malcolm Wallace had actually already applied the fix. :-) Next time I'll follow procedure. Thanks Don, Malcolm. Eelis