diff --git a/docs/source/technicaloverview.rst b/docs/source/technicaloverview.rst
index a5ec382d..27b576fd 100644
--- a/docs/source/technicaloverview.rst
+++ b/docs/source/technicaloverview.rst
@@ -106,5 +106,5 @@ Algorithm Correctness
 ---------------------
 
 The overall algorithm of Ghostferry is specified in a TLA+ specification and
-validated via TLC. The algorithm can be see in the ``tlaplus`` directory in the
+validated via TLC. The algorithm can be seen in the ``tlaplus`` directory in the
 source tree.