diff --git a/README.md b/README.md
index 8c1fbad..87160bd 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+
+
 # `RInGen:` Regular Invariant Generator
 RInGen is a [SMTLIB2](http://smtlib.cs.uiowa.edu/language.shtml) converter.
 It takes arbitrary SMTLIB2 files as input and
@@ -56,7 +58,7 @@ Executable then can be found in the `~/RInGen/bin/Release/net6.0/<RID>/publish`
 ```
 ### Built from sources
 ```bash
-~/RInGen$ dotnet bin/Release/net5.0/RInGen.dll ..arguments..
+~/RInGen$ dotnet bin/Release/net6.0/RInGen.dll ..arguments..
 ```
 
 ## Modes and Options
@@ -167,7 +169,7 @@ smt2> (lemma P ((x Nat)) (= x Z))
 smt2> (lemma P ((y Nat)) (= y (S (S Z))))
 smt2> (assert (forall ((x Nat)) (=> (= x Z) (P x))))
 smt2> (assert (forall ((x Nat)) (=> (P x) (P (S (S x))))))
-smt2> (assert (forall ((x Nat)) (=> (and (P x) (= x (S Z))) false)))
+smt2> (assert (forall ((x Nat)) (=> (and (= x (S Z))) false)))
 smt2> (check-sat)
 sat
 smt2>