Simplify the Manager destructor