Hi Howard,
> ==> I'm pretty sure there is a bug in HEAD (either in CVS or in my
> HEAD). ;-)
This ITS can be closed - the bug was in my head rather than in CVS head
(background information: unresolved cvs update conflicts).
I'm sorry for the inconveniences!
Best regards,
Daniel