Patch that fixes the problem.