changed destructor of MDPState