Correct typo for #1928