Fix formatting for sigsegv