I see, thanks for the information. We have seen the bug occur in our tests but didn't get to fix it :P
