diff --git a/certora_autosetup/setup/sanity.py b/certora_autosetup/setup/sanity.py
index f6d3b1b..9f67a14 100644
--- a/certora_autosetup/setup/sanity.py
+++ b/certora_autosetup/setup/sanity.py
@@ -472,15 +472,14 @@ def _extract_unsat_core_files(self, job_url: str, job_id: str) -> List[Path]:
         try:
             base_dir = self._sanity_analysis_dir / job_id
             reports_dir = base_dir / "Reports"
-            sources_dir = base_dir / "inputs"
             prover_api = self.prover_runner.prover_api
             txt_paths = prover_api.extract_unsat_core_files(job_url, reports_dir)
-            prover_api.extract_certora_sources(job_url, sources_dir)
+            prover_api.fetch_job_sources(job_url, base_dir)
             filtered = [p for p in txt_paths if "rule_not_vacuous" not in p.name]
             self.log("info", f"Extracted {len(filtered)} UnsatCoreTAC file(s) to {reports_dir}")
             return filtered
         except Exception as e:
-            self.log("warning", f"Failed to extract tar for {job_url}: {e}")
+            self.log("warning", f"Failed to fetch unsat cores and sources for {job_url}: {e}")
             return []
 
     def _run_sanity_analyzer(self, txt_path: Path) -> Optional[SanityAnalysisResult]: