final docs

sdcondon · Sep 7, 2022 · f27c4e5 · f27c4e5
1 parent c795c06
commit f27c4e5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/user-guide/getting-started.md b/docs/user-guide/getting-started.md
@@ -218,8 +218,8 @@ var result = kb.Ask(IsCriminal(West)); // will be true
 
 Some things to note:
 * Formatting of sentences and query result explanations includes the appropriate symbols (∀, ⇔, ∃, ∧ and so on).
-Depending on your environment, you might need to tke action so that these are rendered properly.
-E.g. when running on Windows it might be worth sticking a `Console.OutputEncoding = Encoding.UTF8;` in your application.
+Depending on your environment, you might need to take action so that these are rendered properly.
+E.g. For running on Windows it might be worth sticking a `Console.OutputEncoding = Encoding.Unicode;` in your application.
 * The `Tell`, `Ask`, `CreateQuery` and `Execute` methods used above are actually extension methods that are are synchronous wrappers around underlying async versions.
 The library has deep async support - because "real-world" KBs will tend to need to do IO.
 At the time of writing, the only implementation that currently supports this meaningfully is the resolution one, though.