Fixing an error in the comment.