diff --git a/boards/mips/pic32mz/pic32mz-starterkit/src/pic32mz_userleds.c b/boards/mips/pic32mz/pic32mz-starterkit/src/pic32mz_userleds.c
index 71ad7f3c87..34ddba7450 100644
--- a/boards/mips/pic32mz/pic32mz-starterkit/src/pic32mz_userleds.c
+++ b/boards/mips/pic32mz/pic32mz-starterkit/src/pic32mz_userleds.c
@@ -76,7 +76,7 @@
  * to the correct LED pin configuration.
  */
 
-static const uint16_t g_ledpincfg[PIC32MZ_STARTERKIT_NLEDS] =
+static const pinset_t g_ledpincfg[PIC32MZ_STARTERKIT_NLEDS] =
 {
   GPIO_LED_1, GPIO_LED_2, GPIO_LED_3
 };