Jenkins fix 11328

Placeholder PR for satisfying Jenkins for #11837