Copy-pasted typo in the comment.