diff --git a/configs/stm32f746g-disco/src/stm32_autoleds.c b/configs/stm32f746g-disco/src/stm32_autoleds.c
index e577b3a8a61..46d6c3c222c 100644
--- a/configs/stm32f746g-disco/src/stm32_autoleds.c
+++ b/configs/stm32f746g-disco/src/stm32_autoleds.c
@@ -75,9 +75,9 @@
 
 void board_led_initialize(void)
 {
-   /* Configure the LD1 GPIO for output. Initial state is OFF */
+  /* Configure the LD1 GPIO for output. Initial state is OFF */
 
-   stm32_configgpio(GPIO_LD1);
+  stm32_configgpio(GPIO_LD1);
 }
 
 /****************************************************************************
@@ -140,3 +140,5 @@ void board_led_off(int led)
       break;
     }
 }
+
+#endif /* CONFIG_ARCH_LEDS */
diff --git a/configs/stm32f746g-disco/src/stm32_buttons.c b/configs/stm32f746g-disco/src/stm32_buttons.c
index 6c66f5a3061..8578c0794ed 100644
--- a/configs/stm32f746g-disco/src/stm32_buttons.c
+++ b/configs/stm32f746g-disco/src/stm32_buttons.c
@@ -42,6 +42,7 @@
 #include <nuttx/irq.h>
 #include <nuttx/board.h>
 
+#include "stm32_gpio.h"
 #include "stm32f746g-disco.h"
 
 #ifdef CONFIG_ARCH_BUTTONS