diff --git a/src/drivers/boards/px4-stm32f4discovery/board_config.h b/src/drivers/boards/px4-stm32f4discovery/board_config.h
index c4f469caa1..d06a3a317b 100644
--- a/src/drivers/boards/px4-stm32f4discovery/board_config.h
+++ b/src/drivers/boards/px4-stm32f4discovery/board_config.h
@@ -54,7 +54,7 @@ __BEGIN_DECLS
 #include <arch/board/board.h>
 
 #define UDID_START		0x1FFF7A10
- 
+
 /****************************************************************************************************
  * Definitions
  ****************************************************************************************************/
@@ -66,13 +66,13 @@ __BEGIN_DECLS
 
 
 #define GPIO_LED1       (GPIO_OUTPUT|GPIO_PUSHPULL|GPIO_SPEED_50MHz|\
-                         GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN12)
+			 GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN12)
 #define GPIO_LED2       (GPIO_OUTPUT|GPIO_PUSHPULL|GPIO_SPEED_50MHz|\
-                         GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN13)
+			 GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN13)
 #define GPIO_LED3       (GPIO_OUTPUT|GPIO_PUSHPULL|GPIO_SPEED_50MHz|\
-                         GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN14)
+			 GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN14)
 #define GPIO_LED4       (GPIO_OUTPUT|GPIO_PUSHPULL|GPIO_SPEED_50MHz|\
-                         GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN15)
+			 GPIO_OUTPUT_CLEAR|GPIO_PORTD|GPIO_PIN15)
 
 /* SPI chip selects */
 #define GPIO_SPI_CS_MEMS    (GPIO_OUTPUT|GPIO_PUSHPULL|GPIO_SPEED_50MHz|GPIO_OUTPUT_SET|GPIO_PORTE|GPIO_PIN3)
diff --git a/src/drivers/boards/px4-stm32f4discovery/px4discovery_led.c b/src/drivers/boards/px4-stm32f4discovery/px4discovery_led.c
index 1f42843edf..6a6c6eaa0d 100644
--- a/src/drivers/boards/px4-stm32f4discovery/px4discovery_led.c
+++ b/src/drivers/boards/px4-stm32f4discovery/px4discovery_led.c
@@ -69,8 +69,7 @@ __EXPORT void led_init()
 
 __EXPORT void led_on(int led)
 {
-	if (led == 1)
-	{
+	if (led == 1) {
 		/* Pull down to switch on */
 		stm32_gpiowrite(GPIO_LED1, false);
 	}
@@ -78,8 +77,7 @@ __EXPORT void led_on(int led)
 
 __EXPORT void led_off(int led)
 {
-	if (led == 1)
-	{
+	if (led == 1) {
 		/* Pull up to switch off */
 		stm32_gpiowrite(GPIO_LED1, true);
 	}
@@ -87,11 +85,12 @@ __EXPORT void led_off(int led)
 
 __EXPORT void led_toggle(int led)
 {
-	if (led == 1)
-	{
-		if (stm32_gpioread(GPIO_LED1))
+	if (led == 1) {
+		if (stm32_gpioread(GPIO_LED1)) {
 			stm32_gpiowrite(GPIO_LED1, false);
-		else
+
+		} else {
 			stm32_gpiowrite(GPIO_LED1, true);
+		}
 	}
 }