diff --git a/README.md b/README.md
index b98ea17..55ca534 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,8 @@
 # foliage [![GitHub release](https://img.shields.io/github/release/potassco/foliage.svg?maxAge=3600)](https://github.com/potassco/foliage/releases) [![crates.io](https://img.shields.io/crates/v/foliage.svg?maxAge=3600)](https://crates.io/crates/foliage)
 
-> First-order logic with integer arithmetics
+> First-order logic with integer arithmetics in Rust
 
-This crate provides an abstract syntax tree for first-order formulas with integer arithmetics.
+This Rust crate provides an abstract syntax tree for first-order formulas with integer arithmetics.
 
 ## Supported Formulas