Update README.md

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.
+External contributions are always welcome.