Got rid of an incorrect comment.