Removed an erroneous comment.