diff --git a/Main.lean b/Main.lean
index 0530c1c..f9b27f7 100644
--- a/Main.lean
+++ b/Main.lean
@@ -10,7 +10,7 @@ def app : AppInfo := {
   name := "LeanInk"
   base := "leanInk"
   version := { major := 1, minor := 0, patch := 0 }
-  description := "LeanInk is a code analysis tool for Lean 4 that extracts proof tactic information. It's main goal is to ease the support for Lean 4 in Alectryon."
+  description := "LeanInk is a code analysis tool for Lean 4 that extracts proof tactic information. Its main goal is to ease the support for Lean 4 in Alectryon."
 }
 
 def analyzeCommand : Command := {
@@ -53,4 +53,4 @@ def leanVersionCommand : Command := {
   run := λ _ _ => Version.printLeanVersion
 }
 
-def main : List String -> IO UInt32 := runCLI app [analyzeCommand, leanVersionCommand]
\ No newline at end of file
+def main : List String -> IO UInt32 := runCLI app [analyzeCommand, leanVersionCommand]