added deletion operator