diff --git a/ortools/sat/docs/README.md b/ortools/sat/docs/README.md
index 46e72efd9b1..2931aeb4225 100644
--- a/ortools/sat/docs/README.md
+++ b/ortools/sat/docs/README.md
@@ -23,8 +23,8 @@ https://developers.google.com/optimization/cp/cp_solver
 
 This document presents modeling recipes for the CP-SAT solver.
 
-Code samples are given in C++, Python, Java and C#. Each language have different
-requirements for the code samples.
+Code samples are given in C++, Python, Java and C#. Each language has
+different requirements for the code samples.
 
 ## Searching for one (optimal) solution of a CP-SAT model