issue #23111: Oops, missed a spot.