diff --git a/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs b/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs
index a3ea2af14d..bdea8c0079 100644
--- a/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs
+++ b/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs
@@ -14,7 +14,7 @@ panic = Panic.panic CryptolSawCore
 
 instance PanicComponent CryptolSawCore where
   panicComponentName _ = "cryptol-saw-core"
-  panicComponentIssues _ = "https://github.com/GaloisInc/saw-core/issues"
+  panicComponentIssues _ = "https://github.com/GaloisInc/saw-script/issues"
 
   {-# Noinline panicComponentRevision #-}
   panicComponentRevision = $useGitRevision
diff --git a/saw-core/src/Verifier/SAW/Utils.hs b/saw-core/src/Verifier/SAW/Utils.hs
index ea6dbfc8ab..a18ef6662c 100644
--- a/saw-core/src/Verifier/SAW/Utils.hs
+++ b/saw-core/src/Verifier/SAW/Utils.hs
@@ -38,7 +38,7 @@ panic = Panic.panic SawCore
 
 instance PanicComponent SawCore where
   panicComponentName _ = "SawCore"
-  panicComponentIssues _ = "https://github.com/GaloisInc/saw-core/issues"
+  panicComponentIssues _ = "https://github.com/GaloisInc/saw-script/issues"
 
   {-# Noinline panicComponentRevision #-}
   panicComponentRevision = $useGitRevision