Remove dead code. Fixes pr20544.