OK, thanks, then let's close the bug for now. Feel free to reopen if you encounter the problem again.