@User: I missed a comment by Ahmed Ghazy (3 hours ago) in which he said it was something he found today and suggested a patch to me for applying to magic. I'm looking at that patch now. It's not quite right, but I do see what's wrong and I'm now looking for the right fix. . .