Correct typo as per PR comments.