Adding a missing file from #4240