1f501dae9e
This should be the easiest fix. While other solutions might be possible that exterminate the root cause, they will not be as trivial.