diff --git a/src/exercises/bare-metal/rtc/src/pl031.rs b/src/exercises/bare-metal/rtc/src/pl031.rs
index 46545118..426ea533 100644
--- a/src/exercises/bare-metal/rtc/src/pl031.rs
+++ b/src/exercises/bare-metal/rtc/src/pl031.rs
@@ -86,8 +86,8 @@ impl Rtc {
 
     /// Returns whether there is currently an interrupt pending.
     ///
-    /// This should be true iff `matched` returns true and the interrupt is
-    /// masked.
+    /// This should be true if and only if `matched` returns true and the
+    /// interrupt is masked.
     pub fn interrupt_pending(&self) -> bool {
         // Safe because we know that self.registers points to the control
         // registers of a PL031 device which is appropriately mapped.