issue #19453: don't need this code anymore