Hi Hartmut, Thank you very much for the report and my sincere apologies for missing this! Simon, many thanks for the quick reaction. I'm not an expert, but I've reviewed the commit with the fix just in case, and I agree that it should fix the problem reported by Hartmut. Regards, Damian