diff --git a/opam b/opam
index 82c94d9b7c914286c6b64d6e723d58223d74d897..a7596e47609ada642c06f74fa27ff130664b7eb3 100644
--- a/opam
+++ b/opam
@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/lambda-rust.git"
 
 synopsis: "LambdaRust Coq formalization"
 description: """
-A formal model of a Rust core langauge and type system, a logical relation for
+A formal model of a Rust core language and type system, a logical relation for
 the type system, and safety proof for some Rust libraries.
 """