Thanks for the fix!
I've installed the patch about one week ago and I don't see any negative issue till now. I have to say that I saw the problem just once, so I can't reproduce it and I can't really confirm the fix. So feel free to close this ticket.