diff --git a/README.md b/README.md
index 04fe3e58c30512cf1eab7d72facb335fa5b254c9..2a56c125a9c6bb28efa71e0ecc55d6259c73f06c 100644
--- a/README.md
+++ b/README.md
@@ -120,8 +120,7 @@ Here you learn:
 - an easy way to replay test cases for Rust programs
 - an easy way to find "hard to find" errors in embedded code
 
---
-
+---
 
 ## Why KLEE on Rust