fix noreturn