Update docs via correcting typos

examples/chapter11_07/readme.md

@@ -98,8 +98,8 @@ The port for the ATmega328P target can be found in
 This OS-portable part has been modified for this example
 via changes including switching from a C to a C++ file,
 cleaning up spaces, tabs and alignment of typing.
-In addition, some configuration macros and config checks
-have been removed simplification purposes.
+In addition, some configuration macros and checks
+have been removed for simplification purposes.
 The OS tick uses `compare-match-a` from `timer1` to generate
 a tick interrupt at $100~\text{Hz}$ (i.e., approximately every $10~\text{ms}$)
 using an undecorated ISR handle named `__vector_11`.