It isn't needed indeed. Can be deleted.