diff --git a/README.md b/README.md
index 2e00c819..0f6e6f0a 100644
--- a/README.md
+++ b/README.md
@@ -3,23 +3,24 @@ Datalog with support for SMT queries.
 
 ## Setup
 
+
+### Prepackaged JAR
+
 Dependencies:
 
 * JRE 1.8+
-* The SMT solver Z3 (in particular, you need to have the `z3` binary on your
-  path)
-
-### Prepackaged JAR
+* The SMT solver Z3 (you need to have the `z3` binary on your path)
 
 You can find a prepackaged JAR file in the Releases section of the GitHub
 repository.
 
 ### Building from source
 
-Additional dependencies:
+Dependencies:
 
 * JDK 1.8+
 * Maven
+* The SMT solver Z3 (you need to have the `z3` binary on your path)
 
 To build an executable JAR, run the command `mvn package` from the project
 directory. This will create an executable JAR with a name like