And here is my proposed patch.  It's such a little thing, I'm posting here for
context, I'll merge if no one is opposed to it.