diff --git a/README.md b/README.md
index ee1bf24..d9f809e 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,8 @@
 Reaction Systems Verification Toolkit
 
 The toolkit consists of two separate modules implementing:
-* Methods implemented using binary decision diagrams (BDD) for storing and manipulating the state space of the verified system.
+
+* Methods using binary decision diagrams (BDD) for storing and manipulating the state space of the verified system.
 * Methods translating the verification problems into satisfiability modulo theories (SMT).
 
 See: https://reactics.org