not strictly needed - the destructor will do it.