diff --git a/README.md b/README.md
index 3de7b00a..9b360f86 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,7 @@
 
 The `DafnyVMC` module introduces utils for probabilistic reasoning in Dafny. At the moment, the API is intentionally limited in scope, and only supports compilation to Java and Python. For the future, we plan to extend both the functionality and the range of supported languages.
 
+
 ## Java
 
 ### Java API
@@ -52,6 +53,7 @@ To run the statistical tests in the `tests` directory, use the following command
 $ dafny test --target:java src/interop/java/Full/Random.java src/interop/java/Part/Random.java tests/TestsRandom.dfy tests/Tests.dfy dfyconfig.toml --no-verify
 ```
 
+
 ## Python
 
 ### Python API