diff --git a/src/assertions.cpp b/src/assertions.cpp
index 0c66ed33d..96ce593e5 100644
--- a/src/assertions.cpp
+++ b/src/assertions.cpp
@@ -293,7 +293,7 @@ vector<Assertion> get_assertions(Instruction ins, const program_info& info, cons
 }
 
 /// Annotate the CFG by adding explicit assertions for all the preconditions
-/// of any Instruction. For example, jump instructions are asserted not to
+/// of any instruction. For example, jump instructions are asserted not to
 /// compare numbers and pointers, or pointers to potentially distinct memory
 /// regions. The verifier will use these assertions to treat the program as
 /// unsafe unless it can prove that the assertions can never fail.
diff --git a/src/crab/cfg.hpp b/src/crab/cfg.hpp
index 84d592c22..8dd6e9ba0 100644
--- a/src/crab/cfg.hpp
+++ b/src/crab/cfg.hpp
@@ -59,7 +59,7 @@ class basic_block_t final {
         m_ts.push_back(arg);
     }
 
-    /// Insert an GuardedInstruction at the front of the basic block.
+    /// Insert a GuardedInstruction at the front of the basic block.
     /// @note Cannot modify entry or exit blocks.
     void insert_front(const GuardedInstruction& arg) {
         assert(label() != label_t::entry);
diff --git a/src/test/ebpf_yaml.cpp b/src/test/ebpf_yaml.cpp
index a432f3052..017d17806 100644
--- a/src/test/ebpf_yaml.cpp
+++ b/src/test/ebpf_yaml.cpp
@@ -182,7 +182,7 @@ static ebpf_verifier_options_t raw_options_to_options(const std::set<string>& ra
     // Default to not assuming assertions.
     options.assume_assertions = false;
 
-    // Permit test cases to not have an exit Instruction.
+    // Permit test cases to not have an exit instruction.
     options.cfg_opts.must_have_exit = false;
 
     for (const string& name : raw_options) {