On Sun, Jan 13, 2013 at 6:44 PM, Emanuele Giaquinta <emanuele.giaquinta at gmail.com> wrote: > It should be fixed in cvs. I am happy to confirm this. Thanks for fixing this so quickly. Bert