fix a coredump