bugfix: maybe fixed unexpected segmentation fault when terminating