95effdc79e
noticed by Frank Wille in PR kern/39211, but unrelated to the problem described (The check can practically never be hit.)