> This should be easy to fix in CVS. > > Who can do it? I take it, if no one has done so yet. -- Gustavo Niemeyer http://niemeyer.net