Fixed a (presumed) typo in a comment.