With a bit of luck, the fix for this really hard to track down bug is as simple as this patch, without side effects.
With a bit of luck, the fix for this really hard to track down bug is as simple as this patch, without side effects.