[Bug 3970] New: Segmentation fault