diff --git a/src/Data/Bool/Solver.agda b/src/Data/Bool/Solver.agda
index 8de769b42f..6a1cc83b03 100644
--- a/src/Data/Bool/Solver.agda
+++ b/src/Data/Bool/Solver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over booleans
 ------------------------------------------------------------------------
 
--- See README.Nat for examples of how to use similar solvers
+-- See README.Data.Nat for examples of how to use similar solvers
 
 {-# OPTIONS --cubical-compatible --safe #-}
 
diff --git a/src/Data/Integer/Solver.agda b/src/Data/Integer/Solver.agda
index fcb3e411dc..46e9398677 100644
--- a/src/Data/Integer/Solver.agda
+++ b/src/Data/Integer/Solver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over integers
 ------------------------------------------------------------------------
 
--- See README.Integer for examples of how to use this solver
+-- See README.Data.Integer for examples of how to use this solver
 
 {-# OPTIONS --cubical-compatible --safe #-}
 
diff --git a/src/Data/Integer/Tactic/RingSolver.agda b/src/Data/Integer/Tactic/RingSolver.agda
index ec812e3f0a..affe9ecd2e 100644
--- a/src/Data/Integer/Tactic/RingSolver.agda
+++ b/src/Data/Integer/Tactic/RingSolver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over integers
 ------------------------------------------------------------------------
 
--- See README.Integer for examples of how to use this solver
+-- See README.Tactic.RingSolver for examples of how to use this solver
 
 {-# OPTIONS --cubical-compatible --safe #-}
 
diff --git a/src/Data/Nat/Solver.agda b/src/Data/Nat/Solver.agda
index 4c851c0e4b..efd14902b4 100644
--- a/src/Data/Nat/Solver.agda
+++ b/src/Data/Nat/Solver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over naturals
 ------------------------------------------------------------------------
 
--- See README.Nat for examples of how to use this solver
+-- See README.Data.Nat for examples of how to use this solver
 
 {-# OPTIONS --cubical-compatible --safe #-}