Fix noreturn warning.