diff --git a/arch/arm/src/armv7-a/arm_cpupause.c b/arch/arm/src/armv7-a/arm_cpupause.c
index 3b5b2039d2..1e7fca94c1 100644
--- a/arch/arm/src/armv7-a/arm_cpupause.c
+++ b/arch/arm/src/armv7-a/arm_cpupause.c
@@ -189,7 +189,7 @@ int arm_pause_handler(int irq, FAR void *context)
   /* Check for false alarms.  Such false could occur as a consequence of
    * some deadlock breaking logic that might have already serviced the SG2
    * interrupt by calling up_cpu_paused().  If the pause event has already
-   * been processed with g_cpu_paused[cpu] will not be locked.
+   * been processed then g_cpu_paused[cpu] will not be locked.
    */
 
   if (!spin_islocked(&g_cpu_paused[cpu]))