[DamonC]

Hi Jochen,

I believe this to be a bug if I'm understanding you correctly. I posted a bug report for it some time ago and hope it will be fixed in the near future.