Fixed what I assume was a typo in a comment.