Fixed a faulty comment.