diff --git a/os/ports/GCC/ARMCMx/chcore_v6m.c b/os/ports/GCC/ARMCMx/chcore_v6m.c
index 58796eda9..d331b203d 100644
--- a/os/ports/GCC/ARMCMx/chcore_v6m.c
+++ b/os/ports/GCC/ARMCMx/chcore_v6m.c
@@ -33,7 +33,7 @@
 regarm_t _port_saved_pc;
 
 /**
- * @brief	IRQ nesting counter.
+ * @brief   IRQ nesting counter.
  */
 unsigned _port_irq_nesting;
 
@@ -70,7 +70,7 @@ void _port_switch_from_irq(void) {
                 "push    {r0, r1, lr}                           \n\t"
                 "ldr     r0, =_port_saved_pc                    \n\t"
                 "ldr     r0, [r0]                               \n\t"
-                "add 	 r0, r0, #1								\n\t"
+                "add     r0, r0, #1                             \n\t"
                 "str     r0, [sp, #28]");
 
   chSchDoRescheduleI();
diff --git a/os/ports/GCC/ARMCMx/chcore_v7m.c b/os/ports/GCC/ARMCMx/chcore_v7m.c
index 09e683f00..68aba522d 100644
--- a/os/ports/GCC/ARMCMx/chcore_v7m.c
+++ b/os/ports/GCC/ARMCMx/chcore_v7m.c
@@ -34,7 +34,6 @@
   asm volatile ("push    {r4, r5, r6, r7, r8, r9, r10, r11, lr}");          \
 }
 
-
 /**
  * @brief   Internal context unstacking.
  */