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