diff --git a/sched/sched/sched_profil.c b/sched/sched/sched_profil.c
index 30de0a5f57a..947ec35b5ef 100644
--- a/sched/sched/sched_profil.c
+++ b/sched/sched/sched_profil.c
@@ -96,6 +96,7 @@ static void profil_timer_handler(wdparm_t arg)
 
 #ifdef CONFIG_SMP
   cpu_set_t cpus = (1 << CONFIG_SMP_NCPUS) - 1;
+
   CPU_CLR(this_cpu(), &cpus);
   nxsched_smp_call_async(cpus, &g_call_data);
 #endif