>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes: Michael> I just wrote a little patch to fix several mauve Michael> failures. Please review and comment. Looks good to me, thanks. Tom