[squash] address review feedback

Co-authored-by: Corey Lewis <[email protected]> Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 23, 2023 · 3f0d96c · 3f0d96c
1 parent e3f380d
commit 3f0d96c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/commit-messages.md b/docs/commit-messages.md
@@ -166,8 +166,8 @@ d0bab9c79 misc/scripts: remove Darwin cpp wrapper
 You can very quickly see that C verification has been active recently, that
 new tests were added, that AARCH64 proofs have been done, and that there was
 some work to do with the AFP and the monad library. You can see that nothing
-has happened with system initialiser or other user-level proofs, and that there
-are no changes that should affect for instance the C parser.
+has happened with the system initialiser or other user-level proofs, and that there
+are no changes that should affect, for instance, the C parser.
 
 You only see such things quickly when the messages are consistent and follow the
 same kind of pattern. It's not so important what the pattern is. It is important