Hi there, I sent two patches with the above subject to the list. The first patch accidentally included extra changes that are unrelated to this particular issue, so it can be dropped. As can this email. Sorry for the noise. Best, /Ties Stuij