Correct typo for #8