If this is true, you might want to get in touch with them. One reason why it is so hard to fix this is that is occurs very rarely for most users, which also means one can hardly know if a change actually fixed it.