> > Could this be fixed this in CVS? > > done. I wonder if CHANGELOG file on CVS is meant to reflect also fixes like this? It would be cool, since it'd let us spot updates sooner. - mb