added destructors for the protocols: