diff --git a/crates/fayalite/src/util/ready_valid.rs b/crates/fayalite/src/util/ready_valid.rs
index 84a0dc3..f499d54 100644
--- a/crates/fayalite/src/util/ready_valid.rs
+++ b/crates/fayalite/src/util/ready_valid.rs
@@ -235,7 +235,7 @@ mod tests {
         /// The strategy derives from the observation that, if we filter its
         /// input and output streams to consider just one in every N reads and
         /// writes (where N is the FIFO capacity), then the FIFO effectively
-        /// behaves as an one-entry FIFO.
+        /// behaves as a one-entry FIFO.
         ///
         /// In particular, any counterexample of the full FIFO behaving badly
         /// will also be caught by one of the filtered versions (one which
@@ -361,7 +361,7 @@ mod tests {
                 connect(out_firing_data, ReadyValid::firing_data(dut.out));
             }
 
-            // Implement an one-entry FIFO and ensure its equivalence to the
+            // Implement a one-entry FIFO and ensure its equivalence to the
             // filtered FIFO.
             //
             // the holding register for our one-entry FIFO