Fix sigsegv in checker