diff --git a/src/lib/bool.rs b/src/lib/bool.rs
index 68c798ceb23..0fc869d1b41 100644
--- a/src/lib/bool.rs
+++ b/src/lib/bool.rs
@@ -30,7 +30,7 @@ Conjunction
 */
 pure fn and(a: t, b: t) -> t { a && b }
 
-/* Function: and
+/* Function: or
 
 Disjunction
 */
diff --git a/src/lib/four.rs b/src/lib/four.rs
index a1165caf864..11c42fb7018 100644
--- a/src/lib/four.rs
+++ b/src/lib/four.rs
@@ -5,10 +5,10 @@ Module: four
 
 The fourrternary Belnap relevance logic FOUR represented as ADT
 
-This allows reasoning with four logic values (true, false, none, both)
+This allows reasoning with four logic values (true, false, none, both).
 
 Implementation: Truth values are represented using a single u8 and
-all operations are done using bitshifting which is fast
+all operations are done using bit operations which is fast
 on current cpus.
 */
 
diff --git a/src/lib/tri.rs b/src/lib/tri.rs
index 27e24bb4f47..fd4456cfde3 100644
--- a/src/lib/tri.rs
+++ b/src/lib/tri.rs
@@ -5,10 +5,10 @@ Module: tri
 
 ADT for the ternary Kleene logic K3
 
-This allows reasoning with three logic values (true, false, unknown)
+This allows reasoning with three logic values (true, false, unknown).
 
 Implementation: Truth values are represented using a single u8 and
-all operations are done using bitshifting which is fast
+all operations are done using bit operations which is fast
 on current cpus.
 */