Thank you very much for your reply — it’s been very helpful for us in fixing the bug.