Hotfix for build broken by e2134565049fe4352b411bf5283d3a132b3dd365.