Deleted obsolete comment.