[Bug 3970] Segmentation fault