Tiny follow up to #14915 [ci skip]