step toward possible fix for crash at shutdown?