fix issue #9 (segfault during shutdown)
news