Thank you very much for letting us know about this issue. We couldn't track it down back then, but having more information about this bug is going to be helpful when we start working on a new patch later this year.
Sorry for the inconvenience!