issue #22072: tweak.