issue #21038: don't need this