diff --git a/c/src/exec/score/src/thread.c b/c/src/exec/score/src/thread.c
index d0739cdca3..69701ac1d1 100644
--- a/c/src/exec/score/src/thread.c
+++ b/c/src/exec/score/src/thread.c
@@ -866,7 +866,7 @@ void _Thread_Set_transient(
 
 void _Thread_Reset_timeslice( void )
 {
-  ISR_Level              level;
+  ISR_Level       level;
   Thread_Control *executing;
   Chain_Control  *ready;
 
diff --git a/cpukit/score/src/thread.c b/cpukit/score/src/thread.c
index d0739cdca3..69701ac1d1 100644
--- a/cpukit/score/src/thread.c
+++ b/cpukit/score/src/thread.c
@@ -866,7 +866,7 @@ void _Thread_Set_transient(
 
 void _Thread_Reset_timeslice( void )
 {
-  ISR_Level              level;
+  ISR_Level       level;
   Thread_Control *executing;
   Chain_Control  *ready;