diff --git a/batsat/README.md b/batsat/README.md
index 846af6d9..1bb4e6b7 100644
--- a/batsat/README.md
+++ b/batsat/README.md
@@ -5,14 +5,12 @@
 
 <!-- cargo-rdme start -->
 
-# rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT
+# rustsat-batsat - Interface to the `BatSat` SAT Solver for `RustSAT`
 
-The BatSat solver to be used with the [RustSAT](https://github.com/chrjabs/rustsat) library.
+Interface to the [BatSat](https://github.com/c-cube/batsat) incremental SAT-Solver to be used with the [RustSAT](https://github.com/chrjabs/rustsat) library.
 
-## Features
+# `BatSat` Version
 
-## BatSat Version
-
-The version of BatSat in this crate is Version 0.5.0.
+The version of `BatSat` in this crate is Version 0.5.0.
 
 <!-- cargo-rdme end -->