issue #19550: Oops.