Update README.md

README.md

@@ -1,4 +1,4 @@
-**Satalyzer** is a small tool for the asynchronous visualization and analysis of event logs generated by supported logic and constraint solvers, such
+**Satalyzer** is a small tool for the asynchronous visualization and analysis of event logs (JSON files) generated by supported logic and constraint solvers, such
 as SAT, CP, SMT and Answer Set solvers.
 
 Satalyzer is written in Scala and runs on the Java VM (version 8 or higher).  
@@ -43,7 +43,7 @@ It is also possible to select multiple groups, to compare their graphs.
 
 ##### Generating event log files in your own solver
 
-To let your solver generate Satalyzer log files, you currentl need to include source code file `SatalyzerUse.scala`
+To let your solver generate Satalyzer log files, you currently need to include source code file `SatalyzerUse.scala`
 into your solver project. (Currently, this short file is available only in Scala code, but translating it
 to Java shouldn't be too difficult.)