I am closing this issue with 'Cannot Reproduce' resolution as the issue seems to be fixed in the meantime. Feel free to reopen this if you think there is still something we can do about it.