Hello, > Sorry, the previous email came from a wrong email address. I don't know what > happened to it, so I'm resending it. Patch applied, thanks a lot. In the future, could you include also a ChangeLog entry (so you get properly credited? ;-) Miguel