Matt Zimmerman wrote:
The attached patch fixes it for me. If you could try it before I commit it, that would be a help.
OK, that fixed it. Thanks! -- Ciao, Flavio