Yeah when there are little bugs like that, it's best to fix them rather than ignore them. Sometimes they are hard to fix, especially if I can't reproduce it. But if I see it happen on my own computer that nearly 100% of the time I can find what's causing it.