diff --git a/nuttx-configs/aerofc-v1/nsh/setenv.sh b/nuttx-configs/aerofc-v1/nsh/setenv.sh
index db372217cd..aea6e1ef4d 100755
--- a/nuttx-configs/aerofc-v1/nsh/setenv.sh
+++ b/nuttx-configs/aerofc-v1/nsh/setenv.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-# configs/px4fmu-v1/usbnsh/setenv.sh
+# configs/aerofc-v1/usbnsh/setenv.sh
 #
 #   Copyright (C) 2013 Gregory Nutt. All rights reserved.
 #   Author: Gregory Nutt <gnutt@nuttx.org>
diff --git a/nuttx-configs/px4-stm32f4discovery/include/board.h b/nuttx-configs/px4-stm32f4discovery/include/board.h
index 1734ba8d7f..c29e318c1c 100644
--- a/nuttx-configs/px4-stm32f4discovery/include/board.h
+++ b/nuttx-configs/px4-stm32f4discovery/include/board.h
@@ -189,7 +189,7 @@
 #define BOARD_LED2_BIT    (1 << BOARD_LED2)
 
 /* If CONFIG_ARCH_LEDs is defined, then NuttX will control the 2 LEDs on board the
- * px4fmu-v1.  The following definitions describe how NuttX controls the LEDs:
+ * px4-stm32f4discovery.  The following definitions describe how NuttX controls the LEDs:
  */
 
 #define LED_STARTED       0  /* LED1 */
diff --git a/nuttx-configs/tap-v1/nsh/setenv.sh b/nuttx-configs/tap-v1/nsh/setenv.sh
index db372217cd..860c96b9de 100755
--- a/nuttx-configs/tap-v1/nsh/setenv.sh
+++ b/nuttx-configs/tap-v1/nsh/setenv.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-# configs/px4fmu-v1/usbnsh/setenv.sh
+# configs/tap-v1/usbnsh/setenv.sh
 #
 #   Copyright (C) 2013 Gregory Nutt. All rights reserved.
 #   Author: Gregory Nutt <gnutt@nuttx.org>