diff --git a/src/encodings/am1.rs b/src/encodings/am1.rs
index 6f6b1684..a60e5b37 100644
--- a/src/encodings/am1.rs
+++ b/src/encodings/am1.rs
@@ -3,7 +3,7 @@
 //! The module contains implementations of CNF encodings for at-most-1
 //! constraints.
 //!
-//! ## Example Useage
+//! ## Example Usage
 //!
 //! ```
 //! # use rustsat::{
diff --git a/src/encodings/card.rs b/src/encodings/card.rs
index 73f02566..cd3a5d52 100644
--- a/src/encodings/card.rs
+++ b/src/encodings/card.rs
@@ -4,7 +4,7 @@
 //! constraints. It defines traits for (non-)incremental cardinality constraints
 //! and encodings implementing these traits.
 //!
-//! ## Example Useage
+//! ## Example Usage
 //!
 //! ```
 //! # use rustsat::{
diff --git a/src/encodings/pb.rs b/src/encodings/pb.rs
index 2015cb5b..eec4d438 100644
--- a/src/encodings/pb.rs
+++ b/src/encodings/pb.rs
@@ -4,7 +4,7 @@
 //! constraints. It defines traits for (non-)incremental PB constraints and
 //! encodings implementing these traits.
 //!
-//! ## Example Useage
+//! ## Example Usage
 //!
 //! ```
 //! # use rustsat::{