diff --git a/configs/nucleo-f303re/src/nucleo-f303re.h b/configs/nucleo-f303re/src/nucleo-f303re.h
index ee60672338e..6871c2c33dd 100644
--- a/configs/nucleo-f303re/src/nucleo-f303re.h
+++ b/configs/nucleo-f303re/src/nucleo-f303re.h
@@ -148,6 +148,7 @@ void weak_function stm32_spiinitialize(void);
  *   to indicate the nature of any failure.
  *
  ****************************************************************************/
+
 #ifdef CONFIG_TIMER
 int up_timer_init(FAR const char *devpath, int timer);
 #endif
diff --git a/configs/nucleo-f303re/src/stm32_timer.c b/configs/nucleo-f303re/src/stm32_timer.c
index 0285002c002..438898d4ec0 100644
--- a/configs/nucleo-f303re/src/stm32_timer.c
+++ b/configs/nucleo-f303re/src/stm32_timer.c
@@ -35,8 +35,6 @@
  *
  ****************************************************************************/
 
-
-
 /****************************************************************************
  * Included Files
  ****************************************************************************/
@@ -66,7 +64,8 @@
  *   Configure the timer driver.
  *
  * Input Parameters:
- *   devpath - The full path to the timer device.  This should be of the form /dev/timer0
+ *   devpath - The full path to the timer device.  This should be of the
+ *             form /dev/timer0
  *   timer   - The timer's number.
  *
  * Returned Values:
@@ -74,9 +73,10 @@
  *   to indicate the nature of any failure.
  *
  ****************************************************************************/
+
 int up_timer_init(FAR const char *devpath, int timer)
 {
-	return stm32_timer_initialize(devpath, timer);
+  return stm32_timer_initialize(devpath, timer);
 }
 
 #endif
diff --git a/configs/stm32f4discovery/src/stm32_timer.c b/configs/stm32f4discovery/src/stm32_timer.c
index 2cd836cb8d4..6be40218239 100644
--- a/configs/stm32f4discovery/src/stm32_timer.c
+++ b/configs/stm32f4discovery/src/stm32_timer.c
@@ -72,9 +72,10 @@
  *   to indicate the nature of any failure.
  *
  ****************************************************************************/
+
 int up_timer_init(FAR const char *devpath, int timer)
 {
-	return stm32_timer_initialize(devpath, timer);
+  return stm32_timer_initialize(devpath, timer);
 }
 
 #endif
diff --git a/configs/stm32f4discovery/src/stm32f4discovery.h b/configs/stm32f4discovery/src/stm32f4discovery.h
index 50ed1f9a511..49d629e3562 100644
--- a/configs/stm32f4discovery/src/stm32f4discovery.h
+++ b/configs/stm32f4discovery/src/stm32f4discovery.h
@@ -553,7 +553,8 @@ int stm32_max6675initialize(FAR const char *devpath);
  *   Configure the timer driver.
  *
  * Input Parameters:
- *   devpath - The full path to the timer device.  This should be of the form /dev/timer0
+ *   devpath - The full path to the timer device.  This should be of the
+ *             form /dev/timer0
  *   timer   - The timer's number.
  *
  * Returned Values:
@@ -561,6 +562,7 @@ int stm32_max6675initialize(FAR const char *devpath);
  *   to indicate the nature of any failure.
  *
  ****************************************************************************/
+
 #ifdef CONFIG_TIMER
 int up_timer_init(FAR const char *devpath, int timer);
 #endif