Yes, it is a little superfluous, deleting...