> Now modified in CVS HEAD.

That was quick. Thanks!

Martin