Fix failure introduced from #13488