issue #20715: removed errant todo