Don't redundantly clear std::vector members in destructors.