Add missing explicit destructor