fix a Segmentation fault