As this is intermittent, and the patch is clearly correct as well as trivial, I included it without successfully reproducing myself.
As this is intermittent, and the patch is clearly correct as well as trivial, I included it without successfully reproducing myself.