diff --git a/chalk-ir/src/lib.rs b/chalk-ir/src/lib.rs
index c3096d9f672..7763738264a 100644
--- a/chalk-ir/src/lib.rs
+++ b/chalk-ir/src/lib.rs
@@ -1698,7 +1698,7 @@ impl<I: Interner> TraitRef<I> {
     }
 }
 
-/// Lifetime outlives, which for `'a: 'b`` checks that the lifetime `'a`
+/// Lifetime outlives, which for `'a: 'b` checks that the lifetime `'a`
 /// is a superset of the value of `'b`.
 #[derive(Clone, PartialEq, Eq, Hash, TypeFoldable, TypeVisitable, HasInterner, Zip)]
 #[allow(missing_docs)]
diff --git a/chalk-solve/src/clauses/env_elaborator.rs b/chalk-solve/src/clauses/env_elaborator.rs
index 29032a7ad2f..6279d36a78a 100644
--- a/chalk-solve/src/clauses/env_elaborator.rs
+++ b/chalk-solve/src/clauses/env_elaborator.rs
@@ -19,7 +19,7 @@ use tracing::instrument;
 ///
 /// For example, when `T: Clone` is in the environment, we can prove
 /// `T: Copy` by adding the clauses from `trait Clone`, which includes
-/// the rule `FromEnv(T: Copy) :- FromEnv(T: Clone)
+/// the rule `FromEnv(T: Copy) :- FromEnv(T: Clone)`
 pub(super) fn elaborate_env_clauses<I: Interner>(
     db: &dyn RustIrDatabase<I>,
     in_clauses: &[ProgramClause<I>],