fix notreached