Tracking down segmentation fault - reported to be in destroyEvent()