Removed duplicate destructor.