don't need __del__, that will all de-scope automatically