PlanEditor now correctly updates the edited plan statistics whenever the
plan is changed by the user.