Removed useless destructor