On 01/03/2008, at 20.06, David F. Place wrote: > Yesterday, I rather vaguely reported a bug I think it is better to add them to the bug tracker: https://sourceforge.net/tracker/?atid=478070&group_id=55736 best