Issue #16192: Fix copy and paste mistake noticed by Eryk Sun
1 file changed