diff --git a/README.md b/README.md
index bf1b5f9..66d0b18 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ the conversion handles the following:
 If your problem fits in this fragment (it can contain other facts as well), then
 you can run:
 
-   z3 solve.
+    z3 solve.
 
 If the tactic succees then the solver solved the tactic. If it fails it will
 display an error message. To get more information about the problem that was
@@ -40,4 +40,4 @@ Contributors
 
 This plugin was started by Vignesh Gowada at UCSD as part of the [VeriDrone](http://veridrone.ucsd.edu/) project. It was updated and is currently maintained by Gregory Malecha.
 
-External contributions are always welcome.
\ No newline at end of file
+External contributions are always welcome.