issue #19224: tweak.