Fix a segmentation fault.