fix lint error from #13542