Fix a coredump